![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
The 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.