𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Types in Compilation Volume 1473 || A toolkit for constructing type- and constraint-based program analyses

✍ Scribed by Leroy, Xavier; Ohori, Atsushi

Book ID
121692567
Publisher
Springer Berlin Heidelberg
Year
1998
Weight
964 KB
Category
Article
ISBN
3540683089

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Type
[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 2277 || Towards Limit Computable Mathematics
✍ Callaghan, Paul; Luo, Zhaohui; McKinna, James; Pollack, Robert; Pollack, Robert πŸ“‚ Article πŸ“… 2002 πŸ› Springer Berlin Heidelberg 🌐 German βš– 726 KB

This Book Constitutes The Thoroughly Refereed Post-proceedings Of The International Workshop Of The Types Working Group, Types 2000, Held In Durham, Uk In December 2000. The 15 Revised Full Papers Presented Were Carefully Reviewed And Selected During Two Rounds Of Refereeing And Revision. All Curren

[Lecture Notes in Computer Science] Type
[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 2277 || Towards Limit Computable Mathematics
✍ Callaghan, Paul; Luo, Zhaohui; McKinna, James; Pollack, Robert; Pollack, Robert πŸ“‚ Article πŸ“… 2002 πŸ› Springer Berlin Heidelberg 🌐 German βš– 726 KB

This Book Constitutes The Thoroughly Refereed Post-proceedings Of The International Workshop Of The Types Working Group, Types 2000, Held In Durham, Uk In December 2000. The 15 Revised Full Papers Presented Were Carefully Reviewed And Selected During Two Rounds Of Refereeing And Revision. All Curren