default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Functional Programming, Volume 16
Volume 16, Number 1, January 2006
- David Wakeling:
Educational Pearl: Biological sequence similarity. 1-12 - Richard S. Bird, Sharon A. Curtis:
Functional Pearls: Finding celebrities: A lesson in functional programming. 13-20 - Martin Erwig
, Steve Kollmansberger:
Functional Pearls: Probabilistic functional programming in Haskell. 21-34 - Per Gustafsson, Konstantinos Sagonas:
Efficient manipulation of binary data using pattern matching. 35-74 - Ketil Malde, Robert Giegerich:
Calculating PSSM probabilities with lazy dynamic programming. 75-81 - Tian Zhao, Jens Palsberg, Jan Vitek:
Type-based confinement. 83-128
Volume 16, Number 2, March 2006
- Sharon A. Curtis:
Functional Pearl: Marble mingling. 129-136 - Gilles Barthe, Thierry Coquand:
Remarks on the equational theory of non-normalizing pure type systems. 137-155 - Jim Grundy, Thomas F. Melham, John W. O'Leary:
A reflective functional language for hardware design and theorem proving. 157-196 - Ralf Hinze, Ross Paterson:
Finger trees: a simple general-purpose data structure. 197-217 - Robin Adams:
Pure type systems with judgemental equality. 219-246
Volume 16, Number 3, May 2006
- Shriram Krishnamurthi:
Educational Pearl: Automata via macros. 253-267 - Dariusz Biernacki, Olivier Danvy:
Theoretical Pearl: A simple proof of a folklore theorem about delimited control. 269-280 - Jeremy Gibbons, David R. Lester, Richard S. Bird:
Functional Pearl: Enumerating the rationals. 281-291 - Martin Erwig, Robin Abraham, Steve Kollmansberger, Irene Cooperstein:
Gencel: a program generator for correct spreadsheets. 293-325 - Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann:
Consistency of the theory of contexts. 327-372
Volume 16, Number 4-5, July-September 2006
- Kathleen Fisher:
Introduction. 373-374 - Matthias Blume, David A. McAllester:
Sound and complete models of contracts. 375-414 - Simon Marlow, Simon L. Peyton Jones:
Making a fast curry: push/enter vs. eval/apply for higher-order languages. 415-449 - Ralf Hinze:
Generics for the masses. 451-483 - Matthew Fluet, Greg Morrisett:
Monadic regions. 485-545 - Olin Shivers, David Fisher:
Multi-return function call. 547-582 - Robert Bruce Findler, Matthew Flatt:
Slideshow: functional presentations. 583-619 - Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani:
Static analysis for path correctness of XML queries. 621-661
Volume 16, Number 6, November 2006
- Kwangkeun Yi:
Educational Pearl: 'Proof-directed debugging' revisited for a first-order version. 663-670 - Richard S. Bird:
Functional Pearl: A program to solve Sudoku. 671-679 - Stephanie Weirich:
Type-safe run-time polytypic programming. 681-710 - Haruo Hosaya:
Regular expression filters for XML. 711-750 - Matthew Fluet, Riccardo Pucella:
Phantom types and subtyping. 751-791 - Alex Potanin, James Noble, Dave Clarke, Robert Biddle:
Featherweight generic confinement. 793-811
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-06 20:36 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:
