Pages that link to "Item:Q2936758"
From MaRDI portal
The following pages link to Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (Q2936758):
Displaying 26 items.
- The anatomy of a loop (Q2936759) (← links)
- Acute (Q2936763) (← links)
- An expressive language of signatures (Q2936765) (← links)
- Recursive type generativity (Q2936766) (← links)
- Dynamic optimization for functional reactive programming using generalized algebraic data types (Q2936767) (← links)
- Combining programming with theorem proving (Q2936769) (← links)
- A step-indexed model of substructural state (Q2936770) (← links)
- AtomCaml (Q2936772) (← links)
- Witnessing side-effects (Q2936773) (← links)
- A principled approach to operating system construction in Haskell (Q2936775) (← links)
- Simple, partial type-inference for System F based on type-containment (Q2936776) (← links)
- Qualified types for MLF (Q2936777) (← links)
- Type inference, principal typings, and let-polymorphism for first-class mixin modules (Q2936778) (← links)
- High-level views on low-level representations (Q2936780) (← links)
- Scrap your nameplate (Q2936781) (← links)
- Backtracking, interleaving, and terminating monad transformers (Q2936782) (← links)
- Scrap your boilerplate with class (Q2936783) (← links)
- Continuations from generalized stack inspection (Q2936785) (← links)
- Fast narrowing-driven partial evaluation for inductively sequential programs (Q2936786) (← links)
- Associated type synonyms (Q2936787) (← links)
- Modular verification of concurrent assembly code with dynamic thread creation and termination (Q2936788) (← links)
- A language-based approach to functionally correct imperative programming (Q2936790) (← links)
- A logical analysis of aliasing in imperative higher-order functions (Q2936791) (← links)
- Monadic augment and generalised short cut fusion (Q2936792) (← links)
- Poly <sub>AML</sub> (Q2936793) (← links)
- Aspectual Caml (Q2936795) (← links)
