Refinement Types: A Tutorial - Foundations and Trends (R) in Programming Languages - Ranjit Jhala - Livros - now publishers Inc - 9781680838848 - 5 de outubro de 2021
Caso a capa e o título não sejam correspondentes, considere o título como correto

Ranjit Jhala
Refinement Types: A Tutorial - Foundations and Trends (R) in Programming Languages

Receba um e-mail quando o item estiver disponível
Você tem um perfil? Entrar
Receba avisos sobre novos lançamentos de Ranjit Jhala

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Inspired by the nanopass framework for teaching compilation, this book shows how to implement refinement types via a progression of languages that incrementally add features to the language or type system. The book provides an insightful introduction into Refinement Types using an innovative tutorial style that enables fast learning.

180 pages

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 5 de outubro de 2021
ISBN13 9781680838848
Editoras now publishers Inc
Páginas 180
Dimensões 156 × 234 × 10 mm   ·   263 g
Idioma Inglês  

Mais por Ranjit Jhala

Mostrar tudo

Mais da mesma editora

Ver tudo de Ranjit Jhala ( por exemplo Paperback Book )