Pages that link to "Item:Q2817706"
From MaRDI portal
The following pages link to Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (Q2817706):
Displayed 17 items.
- When is a functional program not a functional program? (Q2817707) (← links)
- Monadic encapsulation in ML (Q2817709) (← links)
- Trampolined style (Q2817711) (← links)
- Recursion and dynamic data-structures in bounded space (Q2817712) (← links)
- A simple proof technique for certain parametricity results (Q2817713) (← links)
- Type fixpoints (Q2817715) (← links)
- Interlanguage working without tears (Q2817716) (← links)
- Type inference with rank 1 polymorphism for type-directed compilation of ML (Q2817718) (← links)
- Type dispatch for named hierarchical types (Q2817719) (← links)
- Representing Java classes in a typed intermediate language (Q2817720) (← links)
- Principals in programming languages (Q2817722) (← links)
- Static interpretation of modules (Q2817723) (← links)
- Transparent modules with fully syntatic signatures (Q2817724) (← links)
- Flexible type analysis (Q2817725) (← links)
- Typer inference builds a short cut to deforestation (Q2817726) (← links)
- Verification of Erlang programs using abstract interpretation and model checking (Q2817727) (← links)
- Specialization of inductively sequential functional logic programs (Q2817728) (← links)