Login / Signup

Type generic observation of intermediate data structures for debugging lazy functional programs.

Maarten FaddegonOlaf Chitil
Published in: Comput. Lang. Syst. Struct. (2018)
Keyphrases
  • functional programs
  • data structure
  • term rewriting systems
  • data types
  • lazy evaluation
  • databases