Login / Signup

Tridirectional typechecking.

Jana DunfieldFrank Pfenning
Published in: POPL (2004)
Keyphrases
  • regular expressions
  • tree automata
  • expert systems
  • multistage