C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Ynot: dependent types for imperative programs.
Aleksandar Nanevski
Greg Morrisett
Avraham Shinnar
Paul Govereau
Lars Birkedal
Published in:
ICFP (2008)
Keyphrases
</>
imperative programs
dynamic logic
case study
expert systems