Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montréal, Canada, September 18-21, 2000 |
Contents
45945 | 8 |
151115 | 11 |
The Influence of Browsers on Evaluators or Continuations to Program Web Servers | 23 |
301230 | 29 |
001530 | 58 |
Fully Reflexive Intensional Type Analysis | 82 |
001730 | 94 |
Xavier Leroy | 130 |
001530 | 174 |
Deriving Backtracking Monad Transformers Functional Pearl | 186 |
Intersection Types and Computational Effects | 198 |
001730 | 209 |
Combining Functional Programming and Hardware Verification | 244 |
NonStop Haskell | 257 |
A Lightweight Tool for Random Testing of Haskell Programs | 268 |
An Adventure in Financial Engineering Functional Pearl | 280 |
A Generic LinearTime Algorithm for Solving | 137 |
Speculative Evaluation in a Lazy Functional Language | 150 |
KarlFilip Faxén KTH Stockholm | 162 |
Common terms and phrases
abstraction access control Addr algorithm application argument arrays behavior bindings Bool BVar calculus closure coercion compiler component Computer Science constraint context database defined definition derivation direct functoids dynamic evaluation example expression FC++ Figure FranTk func Functional Programming Haskell implementation induction input instance isecty kind Kleisli label lazy evaluation lemma mfix monad monad transformer operational semantics optimization parallel parallel arrays parametric polymorphism polymorphic functions problem Programming Languages proof quantified types recursive types reduction regular expression requires result run-time Section server solution stack Standard ML subtyping syntax template term theorem thread thunk Tint tion transformation translation tree type analysis type checking type constructor type inference type signature type system type variable typecase Typerec XDuce αι λα