Pages that link to "Item:Q2949185"
From MaRDI portal
The following pages link to Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (Q2949185):
Displayed 18 items.
- Bootstrapping one-sided flexible arrays (Q2949186) (← links)
- Concatenate, reverse and map vanish for free (Q2949187) (← links)
- Monads for incremental computing (Q2949188) (← links)
- Packrat parsing: (Q2949190) (← links)
- Contracts for higher-order functions (Q2949191) (← links)
- An interoperable calculus for external object access (Q2949193) (← links)
- A demand-driven adaptive type analysis (Q2949194) (← links)
- Exception analysis for non-strict languages (Q2949196) (← links)
- Modular typechecking for hierarchically extensible datatypes and functions (Q2949198) (← links)
- Shortcut fusion for accumulating parameters & zip-like functions (Q2949199) (← links)
- Composing monads using coproducts (Q2949200) (← links)
- Typing dynamic typing (Q2949202) (← links)
- A theory of overloading (Q2949203) (← links)
- Type classes with more higher-order polymorphism (Q2949205) (← links)
- An expressive, scalable type theory for certified code (Q2949206) (← links)
- Meta-programming with names and necessity (Q2949207) (← links)
- Tagless staged interpreters for typed languages (Q2949208) (← links)
- A compiled implementation of strong reduction (Q2949209) (← links)