Login / Signup

Ynot: dependent types for imperative programs.

Aleksandar NanevskiGreg MorrisettAvraham ShinnarPaul GovereauLars Birkedal
Published in: ICFP (2008)
Keyphrases
  • imperative programs
  • dynamic logic
  • case study
  • expert systems