Pages that link to "Item:Q5261261"
From MaRDI portal
The following pages link to Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (Q5261261):
Displaying 22 items.
- Scripting the type inference process (Q5261262) (← links)
- Discriminative sum types locate the source of type errors (Q5261263) (← links)
- ML <sup>F</sup> (Q5261264) (← links)
- An extension of HM(X) with bounded existential and universal data-types (Q5261265) (← links)
- CDuce (Q5261266) (← links)
- Compiling regular patterns (Q5261267) (← links)
- Global abstraction-safe marshalling with hash types (Q5261268) (← links)
- Dynamic rebinding for marshalling and update, with destruct-time ? (Q5261269) (← links)
- Iterative-free program analysis (Q5261270) (← links)
- A theory of aspects (Q5261271) (← links)
- Dependency-style generic haskell (Q5261272) (← links)
- Functional automatic differentiation with dirac impulses (Q5261273) (← links)
- A sound and complete axiomatization of delimited continuations (Q5261274) (← links)
- Call-by-value is dual to call-by-name (Q5261275) (← links)
- Disjunctive normal forms and local exceptions (Q5261276) (← links)
- An effective theory of type refinements (Q5261277) (← links)
- A static type system for JVM access control (Q5261278) (← links)
- Polish parsers, step by step (Q5261279) (← links)
- Boxes go bananas (Q5261280) (← links)
- FreshML (Q5261281) (← links)
- Meta-programming through typeful code representation (Q5261282) (← links)
- Optimistic evaluation (Q5261284) (← links)
