Journals in DBLP
Mark P. Jones A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 1995, v:5, n:1, pp:1-35 [Journal ] Christine Ernoult , Alan Mycroft Untyped Strictness Analysis. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 1995, v:5, n:1, pp:37-49 [Journal ] Enrico Tronci Defining Data Structures via Böhm-Out. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 1995, v:5, n:1, pp:51-64 [Journal ] P. N. Benton Strong Normalisation for the Linear Term Calculus. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 1995, v:5, n:1, pp:65-80 [Journal ] Peter Achten , Marinus J. Plasmeijer The Ins and Outs of Clean I/O. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 1995, v:5, n:1, pp:81-110 [Journal ] Martín Abadi , Luca Cardelli , Benjamin C. Pierce , Didier Rémy Dynamic Typing in Polymorphic Languages. [Citation Graph (1, 0)][DBLP ] J. Funct. Program., 1995, v:5, n:1, pp:111-130 [Journal ]