Types in Compilation

EISBN:9783540683087
PISBN:9783540649250
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:1998
作者:Xavier Leroy,Atsushi Ohori
主题词:Logics and Meanings of Programs,Software Engineering,Programming Languages,Compilers,Interpreters,Operating Systems
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Types in Compilation

  • 作者:Xavier Leroy,Atsushi Ohori
  • EISBN:9783540683087
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1998

Types in Compilation

  • 作者:Robert Harper
  • EISBN:9783540453321
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001

Types in Compilation

  • 作者:Robert Harper
  • EISBN:9783540453321
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001

Isomorphisms of Types

  • 作者:Roberto DiCosmo
  • EISBN:9781461225720
  • 出版社:Birkhäuser Boston
  • 出版时间:1995

Formal Languages and Compilation

  • 作者:Stefano Crespi Reghizzi,Luca Breveglieri,Angelo Morzenti
  • EISBN:9781447155140
  • 出版社:Springer London
  • 出版时间:2013

Formal Languages and Compilation

  • 作者:Stefano Crespi Reghizzi,Luca Breveglieri,Angelo Morzenti
  • EISBN:9783030048792
  • 出版社:Springer International Publishing
  • 出版时间:2019