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, Simon L. Peyton Jones, Peter J. Stuckey: 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, Jeremy G. Siek, Jeremiah Willcock: 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
- Derek Dreyer: Recursive type generativity. 433-471
- Martin Berger, Kohei Honda, Nobuko Yoshida: A logical analysis of aliasing in imperative higher-order functions. 473-546
- Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis: Acute: High-level programming language design for distributed computation. 547-612
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
- Alicia Villanueva: Verification of Reactive Systems by Klaus Schneider Springer Verlag, 2003, 600pp, ISBN 3-540-00296-0. 813-814
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team