Your search returned 2 results. Subscribe to this search

|
1.  Monographies, textes / Jean-Pierre Talpin, Mads TofteImplementation of the typed call-by-value lambda-calculus using a stack of regions, Jean-Pierre Talpin, Mads ToftePublication :Fontainebleau, 300740 : ENSMP, 1993Description : 14 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 142.330 CCL.5583] (2).
2.  Monographies, textes The definition of Standard ML / Robin Milner, Mads Tofte, and Robert HarperPublication :Cambridge, Mass. : MIT Press, c1990Description : xi, 101 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-131] (2).

Powered by Koha

//]]>