Normal view MARC view ISBD view

/ Jean-Pierre Talpin, Mads TofteImplementation of the typed call-by-value lambda-calculus using a stack of regions, Jean-Pierre Talpin, Mads Tofte

Auteur principal : TOFTE, Mads;Talpin, Jean-PierreAuteur secondaire collectivité : Centre de recherche en informatique, Fontainebleau, Seine et Marne, Centre de recherche en informatiquePublication :Fontainebleau : ENSMP, 1993Description : 14 p. : Ill. ; 30 cmBibliographie: Bibliogr. 30 réf..Sujet : Langage programmation ;Implémentation ;Pile mémoire ;Lambda calcul Sujet Catégorie : INFORMATIQUE-INTELLIGENCE ARTIFICIELLE
Current location Call number Status Notes Date due Barcode
Bib. Paris
EMP 142.330 CCL.5583 Available A paraître dans 21st annual ACM SIGACT-SIGPLAN symposium on principal of programming languages, PoPL'94, Portland, Oregon, USA, Jan. 16-19 1994 EMP26067D
Bib. Paris
EMP 142.331 CCL.5583 Available A paraître dans 21st annual ACM SIGACT-SIGPLAN symposium on principal of programming languages, PoPL'94, Portland, Oregon, USA, Jan. 16-19 1994 EMP26068D

Bibliogr. 30 réf.

Powered by Koha