Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming |
Contents
Monadic Encapsulation in ML | 8 |
11151245 Chaired by Peter Thiemann | 18 |
An Adventure in Types | 28 |
Affordable Debugging for Lazy Functional Languages | 36 |
1430 1600 Chaired by Manuel Serrano | 48 |
On Embedding a Microarchitectural Design Language Within Haskell | 60 |
Towards Embedded ML Programming | 70 |
1630 1800 Chaired by Jacques Garrigue | 82 |
945 1045 Chaired by Conal Elliott | 114 |
11151215 Chaired by Sophia Drossopoulou | 138 |
1215 1245 Chaired by Norman Ramsey | 160 |
Representing Java Classes in a Typed Intermediate Language | 183 |
1630 1800 Chaired by Benjamin Pierce | 197 |
Transparent Modules with Fully Syntactic Signatures | 220 |
930 1030 Chaired by Rishiyur S Nikhil | 233 |
Type Inference Builds a Short Cut to Deforestation | 249 |
Relating Typability and Expressiveness in FiniteRank Intersection Type Systems | 90 |
Iteration vs Recursion | 102 |
Specialization of Inductively Sequential Functional Logic Programs | 273 |
Other editions - View all
Common terms and phrases
abstract interpretation agent allocation application argument Bool calculus compiler components Computer Science construct context datatype debugging declaration defined definition DrScheme embedded environment Erlang evaluation example execution expression extension Figure filter func functional languages Functional Programming functor garbage garbage collection Haskell heap higher-order implementation induction instantiation interpretation IUnknown Java lambda lazy Lemma manifest types matching method MLType module monadic MrEd needed narrowing node object operational semantics parameter polymorphic Programming Languages proof recursive recursive types reduction region result runtime SchemeEsq Section sequence signature SIGPLAN stack Standard ML static string structure syntactic syntax technique Theorem thread tion trampolined transformation translation typable type abstraction type constructor type inference type inference algorithm type system type variables typed term typing rules vector vtable ΓΕ