BT
rss
44:40
Abonnés

Notes on Type Theory for absolute beginners

Écrit par Hanneli Tavante  le  22 sept. 2017 Écrit par Hanneli Tavante Suivre 0 Abonnés  le  22 sept. 2017

This talk will provide a gentle introduction to type theory, explaining step by step how we transform source code into logical statements.

Se connecter à InfoQ pour interagir sur ce qui vous importe le plus.


Récupérer votre mot de passe

Follow

Suivre vos sujets et éditeurs favoris

Bref aperçu des points saillants de l'industrie et sur le site.

Like

More signal, less noise

Créez votre propre flux en choisissant les sujets que vous souhaitez lire et les éditeurs dont vous désirez suivre les nouvelles.

Notifications

Restez à jour

Paramétrez vos notifications et ne ratez pas le contenu qui vous importe

BT