|
Journals in DBLP
- Thomas Johnsson
Efficient Graph Algorithms Using Lazy Monolithic Arrays. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1998, v:8, n:4, pp:323-333 [Journal]
- Furio Honsell, Alberto Pravato, Simona Ronchi Della Rocca
Structured Operational Semantics of a Fragment of the Language Scheme. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1998, v:8, n:4, pp:335-365 [Journal]
- Andrew P. Tolmach, Dino Oliva
From ML to Ada: Strongly-Typed Language Interoperability via Source Translation. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1998, v:8, n:4, pp:367-412 [Journal]
- Michael Hedberg
A Coherence Theorem for Martin-Löf's Type Theory. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1998, v:8, n:4, pp:413-436 [Journal]
- Graham Hutton, Erik Meijer
Monadic Parsing in Haskell. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1998, v:8, n:4, pp:437-444 [Journal]
|