【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

Leroy, Xavier

ID:DA1193189X

Alias Name: Leroy, X

Search authors sharing the same name

Search Results1-2 of 2

1

Program logics for certified compilers

Andrew W. Appel ... [el al.]

Cambridge University Press 2014

: hardback

Available at 3 libraries
2

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

Xavier Leroy, Atsushi Ohori (eds.)

Springer c1998 Lecture notes in computer science 1473

Available at 39 libraries

Search this author

Related Authors