Refinement Types: A Tutorial - Foundations and Trends (R) in Programming Languages - Ranjit Jhala - Livres - now publishers Inc - 9781680838848 - 5 octobre 2021
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Recevez un courriel lorsque l'article est disponible
Avez-vous un profil ? Connectez-vous
Recevez une notification pour les nouvelles sorties de Ranjit Jhala

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Pas encore évalué

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édias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 5 octobre 2021
ISBN13 9781680838848
Éditeurs now publishers Inc
Pages 180
Dimensions 156 × 234 × 10 mm   ·   263 g
Langue et grammaire Anglais  

Plus par Ranjit Jhala

Afficher tout

Plus d'ouvrages du même éditeur

Voir tous les Ranjit Jhala ( par ex. Paperback Book )