Pages that link to "Item:Q2936796"
From MaRDI portal
The following pages link to Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (Q2936796):
Displaying 25 items.
- Functional pearl (Q2936797) (← links)
- Purely functional lazy non-deterministic programming (Q2936798) (← links)
- Safe functional reactive programming through dependent types (Q2936799) (← links)
- Causal commutative arrows and their optimization (Q2936800) (← links)
- Runtime support for multicore Haskell (Q2936802) (← links)
- Effective interactive proofs for higher-order imperative programs (Q2936804) (← links)
- Experience report (Q2936807) (← links)
- Biorthogonality, step-indexing and compiler correctness (Q2936808) (← links)
- A universe of binding and computation (Q2936809) (← links)
- Non-parametric parametricity (Q2936811) (← links)
- Finding race conditions in Erlang with QuickCheck and PULSE (Q2936812) (← links)
- Partial memoization of concurrency and communication (Q2936813) (← links)
- Free theorems involving type constructor classes (Q2936814) (← links)
- Beautiful differentiation (Q2936816) (← links)
- OXenstored (Q2936818) (← links)
- Identifying query incompatibilities with evolving XML schemas (Q2936820) (← links)
- Generic programming with fixed points for mutually recursive datatypes (Q2936822) (← links)
- Attribute grammars fly first-class (Q2936823) (← links)
- Parallel concurrent ML (Q2936825) (← links)
- A concurrent ML library in concurrent Haskell (Q2936827) (← links)
- Automatically RESTful web applications (Q2936828) (← links)
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform (Q2936829) (← links)
- A theory of typed coercions and its applications (Q2936830) (← links)
- Complete and decidable type inference for GADTs (Q2936831) (← links)
- Control-flow analysis of function calls and returns by abstract interpretation (Q5892027) (← links)
