Skip to content

A Simple Take on Typed Abstract Syntax in Haskell-like Languages.

Olivier Danvy, Morten Rhiger

Year2001
ProceedingsFLOPS

Browse the full FLOPS paper archive.