Types in compilation : second international workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 : proceedings /

Bibliographic Details
Corporate Authors:	TIC (Conference), SpringerLink (Online service)
Other Authors:	Leroy, Xavier, 1968-, Ohori, Atsushi, 1957-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1998]
Series:	Lecture notes in computer science ; 1473.
Subjects:	Compiling (Electronic computers) > Congresses. technique compilation. théorie type. programmation sémantique. génération code. langage programmation. typage. Compilation (Informatique) > Congrès. Compiling (Electronic computers) Programmatuurtechniek. Software Basico. Compilation (informatique) > Congrès. Types, Théorie des > Congrès. Codegenerierung. Compiler. Funktionale Programmiersprache. Kongress. Programmtransformation. Typisierter Lambda-Kalkül. Typisierung. Electronic books. Kioto (1998) Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Remote Storage