Konstantin Läufer

Konstantin Läufer

about
blog
contact
publications
research
teaching

Light Dark Automatic

Type Classes with Existential Types

Konstantin Läufer

January, 1996

PDF Cite DOI URL

Type

Journal article

Publication

J. Funct. Program.

© 2023 Me. This work is licensed under CC BY NC ND 4.0

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite