Hina
Informatique théorique, langages de programmation et logique
Page principale
A propos du blog
Me contacter
Notes de cours
Je suis étudiant en magistère d'informatique, à l'Université Paris-Saclay. Voici
mes notes de cours. Elles répètent rarement le contenu brut du cours mais elles
concernent des éléments qui ont attiré mon attention ou que je trouve important
d'explorer.
lgg : Compilation, langages et interprétation - T. Balabonski
pfa : Programmation Fonctionnelle Avancée - K. N'guyen
log : Logique - C. Paulin
gla : Génie Logiciel Avancé - W. Bukhart
lbd : Lambda-calcul - J. Goubault
prg : Programmation 2 - ...
alt : Autres sources principalement