Pages that link to "Item:Q2819658"
From MaRDI portal
The following pages link to Proceedings of the 19th ACM SIGPLAN international conference on Functional programming (Q2819658):
Displaying 23 items.
- Concurrent NetCore (Q2819659) (← links)
- SeLINQ (Q2819661) (← links)
- Type-based parametric analysis of program families (Q2819663) (← links)
- Romeo (Q2819665) (← links)
- Maximal sharing in the Lambda calculus with letrec (Q2819667) (← links)
- Worker/wrapper/makes it/faster (Q2819669) (← links)
- Compositional semantics for composable continuations (Q2819670) (← links)
- Coeffects (Q2819671) (← links)
- Soft contract verification (Q2819673) (← links)
- Lem (Q2819676) (← links)
- Safe zero-cost coercions for Haskell (Q2819677) (← links)
- Hindley-milner elaboration in applicative style (Q2819678) (← links)
- Settable and non-interfering signal functions for FRP (Q2819680) (← links)
- Functional programming for dynamic and large data with self-adjusting computation (Q2819681) (← links)
- Homotopical patch theory (Q2819684) (← links)
- Pattern matching without K (Q2819686) (← links)
- Refinement types for Haskell (Q2819690) (← links)
- A theory of gradual effect systems (Q2819692) (← links)
- How to keep your neighbours in order (Q2819693) (← links)
- A relational framework for higher-order shape analysis (Q2819695) (← links)
- Folding domain-specific languages (Q2819697) (← links)
- Krivine nets (Q2819699) (← links)
- Distilling abstract machines (Q2819700) (← links)
