Skip to content

Issues: CompSciCabal/SMRTYPRTY

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

36 Open 42 Closed
36 Open 42 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Differential Dataflow paper
#90 opened Mar 13, 2018 by gregr
Call-by-Name Gradual Type Theory
#89 opened Feb 19, 2018 by hzafar
Rethinking Supercompilation paper
#88 opened Feb 9, 2018 by sarostru
2
ADAPTON: Composable, DemandDriven Incremental Computation paper
#85 opened Nov 28, 2017 by gregr
A Theory of Changes for Higher-Order Languages: Incrementalizing λ-Calculi by Static Differentiation paper
#84 opened Nov 28, 2017 by gregr
The View from the Left
#83 opened Nov 26, 2017 by bcdarwin
Is the Optimal Implementation Inefficient? Elementarily Not
#82 opened Nov 16, 2017 by bcdarwin
Deny Capabilities for Safe, Fast Actors
#81 opened Oct 26, 2017 by bcdarwin
Unification under a mixed prefix
#79 opened Sep 26, 2017 by bcdarwin
Lambda The Ultimate Goto
#78 opened Sep 19, 2017 by xtreme-james-cooper
State in Haskell
#77 opened Sep 18, 2017 by xtreme-james-cooper
Compiling Haskell By Program Transformation
#76 opened Sep 18, 2017 by xtreme-james-cooper
Pierre Landin invents the Abstract Machine, Denotational Semantics, and basically Functional Programming
#75 opened Sep 18, 2017 by xtreme-james-cooper
Complete and easy bidirectional typechecking for higher-rank polymorphism
#72 opened Aug 21, 2017 by bcdarwin
1
A Functional Correspondence between Evaluators and Abstract Machines paper
#71 opened Aug 20, 2017 by hzafar
Satisfiability modulo theories: an appetizer
#66 opened Jul 29, 2017 by bcdarwin
Semi-Indexing Semi-Structured Data in Tiny Space
#62 opened Jul 19, 2017 by pbevin
Julia: A Fast Dynamic Language for Technical Computing paper
#60 opened Jun 26, 2017 by Erik-J-D
Modelling Homogeneous Generative Meta-Programming
#59 opened Jun 17, 2017 by bcdarwin
The universality and expressiveness of fold
#58 opened Jun 17, 2017 by pbevin
Growing a Language, Guy Steele
#56 opened Jun 2, 2017 by pbevin
Dependent Types and Multi-monadic Effects in F⋆ paper
#51 opened May 22, 2017 by bcdarwin
World of Simple Programs: Chapter 3 of A New Kind of Science paper
#50 opened May 20, 2017 by sarostru
Software Engineering Economics paper
#49 opened May 11, 2017 by jrootham
Stigmergic construction and topochemical information shape ant nest architecture paper
#48 opened Apr 30, 2017 by Erik-J-D
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.