Login / Signup

Putting curry-howard to work.

Tim Sheard
Published in: Haskell (2005)
Keyphrases
  • data model
  • context aware
  • learning theory