Login / Signup

Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131).

Marco GaboardiSuresh JagannathanRanjit JhalaStephanie Weirich
Published in: Dagstuhl Reports (2016)
Keyphrases
  • functional programs
  • functional language
  • lazy evaluation
  • term rewriting systems
  • programming language
  • logic programs
  • stochastic grammar
  • natural language
  • functional programming
  • databases
  • query processing
  • data types