Login / Signup

Tic tac types: a gentle introduction to dependently typed programming (functional pearl).

Sean InnesNicolas Wu
Published in: TyDe@ICFP (2019)
Keyphrases
  • functional language
  • functional programming
  • programming language
  • microsoft windows
  • higher order
  • gentle introduction
  • database
  • information systems
  • case study
  • high level
  • relational databases
  • user interface
  • data model