A Specification for Typed Template Haskell.

Matthew Pickering Andres Löh Nicolas Wu

Published in: CoRR (2021)

Keyphrases

programming language
higher order
template matching
high level
functional programming
lambda calculus
formal specification
specification language
real world
plagiarism detection
real time
input image
matching algorithm
active rules
temporal ordering