Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Functional Programming, Volume 24
Volume 24, Number 1, January 2014
- Paul Downen
, Zena M. Ariola:
Delimited control and computational effects. 1-55 - Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar:
Implicit self-adjusting computation for purely functional programs. 56-112 - Neil Sculthorpe, Graham Hutton:
Work it, wrap it, fix it, fold it. 113-127
- Michael Sperber:
Systematic Program Design: From Clarity to Efficiency, by Yanhong Annie Liu, Cambridge University Press, 2013, ISBN: 978-1-107-03660-4. 128-130
Volume 24, Numbers 2-3, May 2014
- Satnam Singh, Robert Bruce Findler:
Special Issue Dedicated to ICFP 2012: Editorial. 131-132
- Jana Dunfield:
Elaborating intersection and union types. 133-165 - Jörg Endrullis, Dimitri Hendriks, Rena Bakhshi, Grigore Rosu:
On the complexity of stream equality. 166-217 - J. Ian Johnson, Ilya Sergey, Christopher Earl, Matthew Might, David Van Horn:
Pushdown flow analysis with abstract garbage collection. 218-283 - Magnus O. Myreen, Scott Owens:
Proof-producing translation of higher-order logic into pure and stateful ML. 284-315 - Pierre-Évariste Dagand, Conor McBride:
Transporting functions across ornaments. 316-383 - Philip Wadler:
Propositions as sessions. 384-418
- Matt Jadud:
Realm of Racket, by Forrest Bice, Rose DeMaio, Spencer Florence, Feng-Yun Mimi Lin, Scott Lindeman, Nicole Nussbaum, Eric Peterson, Ryan Plessner, David Van Horn, Matthias Felleisen and Conrad Barski, MD, No Starch Press, San Franscisco, CA, 2013, £27.49. ISBN-10: 1-59327-491-2. 419-421 - Robin Green:
Beginning Haskell, by Alejandro Serrano Mena, Apress, New York City, NY, 2014, ISBN-10: 1430262508, 428 pp. 421-422
Volume 24, Number 4, July 2014
- Kimball Germane, Matthew Might:
Deletion: The curse of the red-black tree. 423-433
- Neil Sculthorpe, Nicolas Frisby, Andy Gill:
The Kansas University rewrite engine - A Haskell-Embedded Strategic Programming Language with Custom Closed Universes. 434-473
- Graham Hutton:
PhD Abstracts. 474-522
- David Watt:
Review: Practical Foundations for Programming Languages, by Robert Harper, Cambridge University Press, New York, December2012, English, ISBN-10: 1107029570, Hardcover, 487 pp. 523 - Dominic A. Orchard:
Computational Semantics with Functional Programming, byJan van Eijck andChristina Unger. 524-527
Volume 24, Number 5, September 2014
- Andreas Rossberg, Claudio V. Russo, Derek Dreyer:
F-ing modules. 529-607
- Vlad Patryshev:
Introduction to the art of programming using Scala, by Mark C. Lewis, Chapman and Hall/CRC Press, 2012, £ 46.99 (paperback) ISBN-10: 1439896666. 608-609
Volume 24, Number 6, November 2014
- Matthias Felleisen:
Editorial. 611 - Michael Sperber, Lennart Augustsson:
Special Issue on Run-Time Systems and Target Platforms for Functional Languages: Editorial. 612
- K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan:
MultiMLton: A multicore-aware runtime for standard ML. 613-674 - Andrew W. Keep, R. Kent Dybvig:
A run-time representation of scheme record types. 675-716
a service of 
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-04-22 20:03 CEST 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:
