Pages that link to "Item:Q5168919"
From MaRDI portal
The following pages link to Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (Q5168919):
Displaying 17 items.
- Ott (Q5168920) (← links)
- Program-ing finger trees in C <scp>oq</scp> (Q5168921) (← links)
- Extensible pattern matching via a lightweight language extension (Q5168922) (← links)
- On Barron and Strachey's cartesian product function (Q5168923) (← links)
- Bidirectionalization transformation based on automatic derivation of view complement functions (Q5168924) (← links)
- Tangible functional programming (Q5168925) (← links)
- Termination analysis and call graph construction for higher-order functional programs (Q5168926) (← links)
- Relating complexity and precision in control flow analysis (Q5168927) (← links)
- Inductive reasoning about effectful data types (Q5168928) (← links)
- A type directed translation of MLF to system F (Q5168929) (← links)
- Compiling with continuations, continued (Q5168930) (← links)
- Type-safe higher-order channels in ML-like languages (Q5168931) (← links)
- A generic usage analysis with subeffect qualifiers (Q5168932) (← links)
- Lazy call-by-value evaluation (Q5168933) (← links)
- A type system for recursive modules (Q5168934) (← links)
- Call-pattern specialisation for Haskell programs (Q5168935) (← links)
- Subtyping and intersection types revisited (Q5168936) (← links)
