default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Functional Programming, Volume 23
Volume 23, Number 1, January 2013
- Brigitte Pientka:
An insider's look at LF type reconstruction: everything you (n)ever wanted to know. 1-37 - François Pottier:
Syntactic soundness proof of a type-and-capability system with hidden state. 38-144
Volume 23, Number 2, March 2013
- Mark P. Jones:
Solving the snake cube puzzle in Haskell. 145-160 - Keisuke Nakano
:
Metamorphism in jigsaw. 161-173 - Richard S. Bird:
An in-situ algorithm for expanding a graph. 174-184
- Peter Achten, Marko C. J. D. van Eekelen, Maarten de Mol, Rinus Plasmeijer:
EditorArrow: An arrow-based model for editor-based programming. 185-224
- Laura M. Castro:
Building Web Applications with Erlang, by Zachary Kessin, O'Reilly Media, Inc., 2012, ISBN 97-81-4493-20652. 225-226 - Ivan Lazar Miljenovic:
Pearls of Functional Algorithm Design, by Richard Bird, Cambridge University Press, September 2010, £35.00, US $ 60.00. ISBN: 978052151338 (hardback), 286pp. 226-227
Volume 23, Number 3, May 2013
- Wouter Swierstra, Thomas van Noort:
A library for polymorphic dynamic typing. 229-248 - Umut A. Acar, Matthias Blume, Jacob Donham:
A consistent semantics of self-adjusting computation. 249-292 - Simon J. Thompson, Huiqing Li:
Refactoring tools for functional languages. 293-350
- Greg Michaelson:
Learn You a Haskell for Great Good! A Beginner's Guide, by Miran Lipovaca, No Starch Press, April 2011, ISBN-10: 1593272839; ISBN-13: 978-1593272838, 376 pp. 351-352 - Prabhakar Ragde:
OCaml from the Very Beginning, by John Whitington, Coherent Press, 2013, £ 25.99, US $37.99. ISBN-10: 0957671105 (paperback), 204 pp. 352-354
Volume 23, Number 4, July 2013
- Kenichi Asai, Benjamin C. Pierce:
Special Issue Dedicated to ICFP 2011 Editorial. 355-356
- Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer:
How to make ad hoc proof automation less ad hoc. 357-401 - Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang:
Secure distributed programming with value-dependent types. 402-451 - Alexey Gotsman, Hongseok Yang:
Modular verification of preemptive OS kernels. 452-514
Volume 23, Number 5, September 2013
- Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang:
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins. 515-551 - Edwin C. Brady:
Idris, a general-purpose dependently typed programming language: Design and implementation. 552-593 - Katarzyna Grygiel, Pierre Lescanne:
Counting and generating lambda terms. 594-628
Volume 23, Number 6, November 2013
- C. E. Martin, S. A. Curtis:
Fractal image compression. 629-657
- Matthew R. Lakin, Andrew M. Pitts:
Contextual equivalence for inductive definitions with binders in higher order typed functional programming. 658-700 - Michael Sperber, Anil Madhavapeddy:
Commercial users of functional programming workshop report. 701-712
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 2025-12-04 22:09 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:
