Login / Signup

Truly abstract interfaces for algebraic data types: the extractor typing problem.

Nicolas StuckiPaolo G. GiarrussoMartin Odersky
Published in: SCALA@ICFP (2018)
Keyphrases