default search action
The Journal of Functional Programming, Volume 17
Volume 17, Number 1, January 2007
- Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich
, Mark Shields:
Practical type inference for arbitrary-rank types. 1-82 - Martin Sulzmann, Gregory J. Duck
Understanding functional dependencies via constraint handling rules. 83-129 - David Wakeling:
Spreadsheet functional programming. 131-143
Volume 17, Number 2, March 2007
- Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine
An extended comparative study of language support for generic programming. 145-205 - Philippe Narbel:
Type sharing constraints and undecidability. 207-214 - Hongwei Xi:
Dependent ML An approach to practical programming with dependent types. 215-286
Volume 17, Number 3, May 2007
- Judicaël Courant:
MC2 A module calculus for Pure Type Systems. 287-352 - Gábor Mihály Surányi:
An object-oriented calculus with term constraints. 353-386 - Luc Maranget:
Warnings for pattern matching. 387-421 - Peter King:
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. 423-424 - Alex Simpson:
Programming Languages and Operational Semantics by Fernández Maribel, King's College Publications, 2004, ISBN 0954300637. 424-426 - Isaac Jones:
The Haskell School of Expression by Hudak Paul, Cambridge Univerity Press, 20001. 426-428 - Greg Michaelson:
Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741. 428-429
Volume 17, Numbers 4-5, July 2007
- Matthew Flatt, Benjamin C. Pierce:
Preface. 431 - Derek Dreyer:
Recursive type generativity. 433-471 - Martin Berger
A logical analysis of aliasing in imperative higher-order functions. 473-546 - Peter Sewell
Acute: High-level programming language design for distributed computation. 547-612 - Robert Harper, Daniel R. Licata
Mechanizing metatheory in a logical framework. 613-673
Volume 17, Number 6, November 2007
- Rex L. Page:
Engineering Software Correctness. 675-686 - R. Kent Dybvig, Simon L. Peyton Jones, Amr Sabry
A monadic framework for delimited continuations. 687-730 - Neil Ghani, Patricia Johann:
Monadic augment and generalised short cut fusion. 731-776 - Graham Hutton
What is the meaning of these constant interruptions? 777-792 - Olivier Danvy
On one-pass CPS transformations. 793-812 - Alicia Villanueva:
Verification of Reactive Systems by Klaus Schneider Springer Verlag, 2003, 600pp, ISBN 3-540-00296-0. 813-814
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-20 20:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: