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

The implicit calculus: a new foundation for generic programming.

Bruno C. d. S. OliveiraTom SchrijversWontae ChoiWonchan LeeKwangkeun Yi
Published in: PLDI (2012)
Keyphrases
  • programming language
  • object oriented programming
  • data sets
  • domain specific
  • programming environment
  • object oriented
  • general purpose
  • description logics
  • operating system
  • provably correct
  • programming skills