Harper, Robert (19..-....)
Langues d'expression
anglais
Professeur au département de sciences informatiques de la Carnegie Mellon University (en 2023)
Computer Science Department, Carnegie Mellon University
Disciplines liées à ses interventions
Mots-clés liés à ses interventions
Vidéos
A Cost-Aware Logical Framefork
Harper
Robert
The computational view of intuitionistic dependent type theory is as an intrinsic logic of (functional) programs in which types are viewed as specifications of their behavior. Equational reasoning is