|
Journals in DBLP
- Kathleen Fisher
Introduction. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2006, v:16, n:4-5, pp:373-374 [Journal]
- Matthias Blume, David A. McAllester
Sound and complete models of contracts. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2006, v:16, n:4-5, pp:375-414 [Journal]
- Simon Marlow, Simon L. Peyton Jones
Making a fast curry: push/enter vs. eval/apply for higher-order languages. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2006, v:16, n:4-5, pp:415-449 [Journal]
- Ralf Hinze
Generics for the masses. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2006, v:16, n:4-5, pp:451-483 [Journal]
- Matthew Fluet, Greg Morrisett
Monadic regions. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2006, v:16, n:4-5, pp:485-545 [Journal]
- Olin Shivers, David Fisher
Multi-return function call. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2006, v:16, n:4-5, pp:547-582 [Journal]
- Robert Bruce Findler, Matthew Flatt
Slideshow: functional presentations. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2006, v:16, n:4-5, pp:583-619 [Journal]
- Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
Static analysis for path correctness of XML queries. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2006, v:16, n:4-5, pp:621-661 [Journal]
|