• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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