default search action
The Journal of Functional Programming, Volume 18
Volume 18, Number 1, January 2008
- Conor McBride
, Ross Paterson:
Applicative programming with effects. 1-13 - David A. Greve, Matt Kaufmann, Panagiotis Manolios
Efficient execution in an automated reasoning environment. 15-46 - Jacob Matthews, Robert Bruce Findler:
An operational semantics for Scheme. 47-86 - Geoffrey Washburn, Stephanie Weirich
Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism. 87-140
Volume 18, Number 2, March 2008
- David Aspinall, Martin Hofmann, Michal Konecný
A type system with usage aspects. 141-178 - Christian Skalka, Scott F. Smith, David Van Horn
Types and trace effects of higher order programs. 179-249 - Martin Sulzmann, Peter J. Stuckey
HM(X) type inference is CLP(X) solving. 251-283
Volume 18, Number 3, May 2008
- Chieri Saito, Atsushi Igarashi
Lightweight family polymorphism. 285-331 - Koichi Kodama, Kohei Suenaga
Translation of tree-processing programs into stream-processing programs based on ordered linear type. 333-371 - Zena M. Ariola, Hugo Herbelin:
Control reduction theories: the benefit of structural substitution. 373-419 - Gergely Buday:
Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X. 421-422
Volume 18, Number 4, July 2008
- Wouter Swierstra:
Data types à la carte. 423-436 - Peter Sewell
Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction. 437-502 - Manfred Schmidt-Schauß
Safety of Nöcker's strictness analysis. 503-551 - Yaron Minsky, Stephen Weeks:
Caml trading - experiences with functional programming on Wall Street. 553-564
Volume 18, Numbers 5-6, November 2008
- Julia Lawall:
Editorial. 565-566 - Björn Bringert, Aarne Ranta:
A pattern for almost compositional functions. 567-598 - Adam Chlipala:
Modular development of certified program verifiers with a proof assistant, . 599-647 - Kevin Donnelly, Matthew Fluet:
Transactional events. 649-706 - David Fisher, Olin Shivers:
Building language towers with Ziggurat. 707-780 - Shin-ya Katsumata
Algebraic fusion of functions with an accumulating parameter and its improvement. 781-819 - Matthew Might, Olin Shivers:
Exploiting reachability and cardinality in higher-order flow analysis. 821-864 - Aleksandar Nanevski, J. Gregory Morrisett, Lars Birkedal:
Hoare type theory, polymorphism and separation. 865-911
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-15 19:21 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: