JFP 2007
24 papers
- A logical analysis of aliasing in imperative higher-order functions
- A monadic framework for delimited continuations
- Acute: High-level programming language design for distributed computation
- An extended comparative study of language support for generic programming
- An object-oriented calculus with term constraints
- Dependent ML An approach to practical programming with dependent types
- Engineering Software Correctness
- Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741
- MC2 A module calculus for Pure Type Systems
- Mechanizing metatheory in a logical framework
- Monadic augment and generalised short cut fusion
- On one-pass CPS transformations
- Practical type inference for arbitrary-rank types
- Preface
- Programming Languages and Operational Semantics by Fernández Maribel, King's College Publications, 2004, ISBN 0954300637
- Recursive type generativity
- SMIL 2.0 Interactive Multimedia for Web and Mobile Devices by C. A. Dick Bulterman and Lloyd Rutledge, Springer X.media.publishing, 2004, 440pp, ISBN 3-540-20234-X
- Spreadsheet functional programming
- The Haskell School of Expression by Hudak Paul, Cambridge Univerity Press, 20001
- Type sharing constraints and undecidability
- Understanding functional dependencies via constraint handling rules
- Verification of Reactive Systems by Klaus Schneider Springer Verlag, 2003, 600pp, ISBN 3-540-00296-0
- Warnings for pattern matching
- What is the meaning of these constant interruptions?