Login / Signup

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