Refinement Types: A Tutorial - Foundations and Trends (R) in Programming Languages - Ranjit Jhala - Libros - now publishers Inc - 9781680838848 - 5 de octubre de 2021
En caso de que portada y título no coincidan, el título será el correcto

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

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Ranjit Jhala

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 5 de octubre de 2021
ISBN13 9781680838848
Editores now publishers Inc
Páginas 180
Dimensiones 156 × 234 × 10 mm   ·   263 g
Lengua Inglés  

Mas por Ranjit Jhala

Mostrar todo

Más del mismo editor

Ver todo de Ranjit Jhala ( Ej. Paperback Book )