Skip to content
Texas A&M University Libraries
  • MyLibrary
  • Help

Libraries Catalog

Advanced
  • Types in compilation :
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Cover Image

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
  • Holdings
  • Description
  • Table of Contents
  • Similar Items
  • Staff View

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.76.C65 T52 1998
 
Call Number Status Get It
QA76.76.C65 T52 1998 Available
  • howdy.tamu.edu
  • Off-Campus Access
  • Texas A&M University
  • Site Policies
  • Accessibility
  • Texas CREWS
  • Comments
  • Services Status
Loading...