Pages that link to "Item:Q2945523"
From MaRDI portal
The following pages link to Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (Q2945523):
Displaying 32 items.
- GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness (Q2945524) (← links)
- 1ML – core and modules united (F-ing first-class modules) (Q2981941) (← links)
- Bounded refinement types (Q2981942) (← links)
- Applicative bidirectional programming with lenses (Q2981943) (← links)
- Hygienic resugaring of compositional desugaring (Q2981945) (← links)
- XQuery and static typing: tackling the problem of backward axes (Q2981946) (← links)
- Noninterference for free (Q2981948) (← links)
- Algebras and coalgebras in the light affine Lambda calculus (Q2981949) (← links)
- Structures for structural recursion (Q2981950) (← links)
- Denotational cost semantics for functional languages with inductive types (Q2981951) (← links)
- Analysing the complexity of functional programs: higher-order meets first-order (Q2981952) (← links)
- Pilsner: a compositionally verified compiler for a higher-order imperative language (Q2981953) (← links)
- A unification algorithm for Coq featuring universe polymorphism and overloading (Q2981954) (← links)
- Foundational extensible corecursion: a proof assistant perspective (Q2981955) (← links)
- Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code (Q2981959) (← links)
- Adaptive lock-free maps: purely-functional to scalable (Q2981963) (← links)
- Partial aborts for transactions via first-class continuations (Q2981965) (← links)
- Which simple types have a unique inhabitant? (Q2981966) (← links)
- Elaborating evaluation-order polymorphism (Q2981967) (← links)
- Automatic refunctionalization to a language with copattern matching: with applications to the expression problem (Q2981970) (← links)
- Functional pearl: two can keep a secret, if one of them uses Haskell (Q2981971) (← links)
- HLIO: mixing static and dynamic typing for information-flow control in Haskell (Q2981972) (← links)
- Practical principled FRP: forget the past, change the future, FRPNow! (Q2981974) (← links)
- Certified symbolic management of financial multi-party contracts (Q2981976) (← links)
- A fast compiler for NetKAT (Q2981979) (← links)
- RRB vector: a practical general purpose immutable sequence (Q2981983) (← links)
- Functional pearl: a smart view on datatypes (Q2981985) (← links)
- Efficient communication and collection with compact normal forms (Q2981988) (← links)
- Blame assignment for higher-order contracts with intersection and union (Q2981989) (← links)
- Expressing contract monitors as patterns of communication (Q2981991) (← links)
- Learning refinement types (Q2981992) (← links)
- Practical SMT-based type error localization (Q2981994) (← links)
