default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Functional Programming, Volume 25
Volume 25, 2015
- Katarzyna Grygiel, Pierre Lescanne:
Counting and generating terms in the binary lambda calculus.
- Ville Tirronen
, Ville Isomöttönen:
Teaching types with a cognitively effective worked example format.
- Sharon A. Curtis, Shin-Cheng Mu:
Calculating a linear-time solution to the densest-segment problem.
- Graham Hutton:
PhD abstracts.
- Robert Atkey, Patricia Johann:
Interleaving data and effects. - Daniel Fridlender, Miguel Pagano:
Pure type systems with explicit substitutions. - Dmitriy Traytel, Tobias Nipkow:
Verified decision procedures for MSO on words based on derivatives of regular expressions. - Jan Hoffmann, Zhong Shao:
Type-based amortized resource analysis with integers and arrays.
- Shane Hudson:
Review of "Learn you some Erlang for great good! A beginner's guide", by Fred Hébert, No Starch Press, 2013, £26.80 (paperback), ISBN: 978-1-59327-435-1. - Amanda Clare:
Review of "A functional start to computing with Python", Ted Herman, CRC Press, 2014, ISBN 978-1-4665-0455-4.
- Patrick Bahr, Graham Hutton:
Calculating correct compilers. - Mauro Jaskelioff, Russell O'Connor:
A representation theorem for second-order functionals. - Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis:
Mtac: A monad for typed tactic programming in Coq. - Ville Tirronen, Samuel Uusi-Mäkelä, Ville Isomöttönen:
Understanding beginners' mistakes with Haskell. - Jean-Philippe Bernardy, Koen Claessen:
Efficient parallel and incremental parsing of practical context-free languages. - Koen Claessen, Jonas Duregård, Michal H. Palka:
Generating constrained random data with uniform distribution. - Jesús Aransay, Jose Divasón:
Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm.
- Graham Hutton:
PhD Abstracts.
- Hans Georg Schaathun:
Evaluation of splittable pseudo-random generators. - Thorsten Altenkirch, Neil Ghani, Peter G. Hancock, Conor McBride, Peter Morris:
Indexed containers.
- Marius Eriksen, Michael Sperber, Anil Madhavapeddy:
CUFP'13 scribe's report.
- Richard S. Bird:
How to mingle streams.
- Torsten Grust:
Thinking Functionally with Haskell by Richard Bird, Cambridge University Press, 2014.
- Graham Hutton:
PhD Abstracts.
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-09 23:26 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:
