1
Published 2015
Table of Contents: ...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...
View full text
Electronic eBook
2
Subjects: ...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...
View full text
Electronic eBook
3
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook