Jan Stolarek
Researcher
Computer science
The University of Edinburgh
United Kingdom
Biography
Jan Stolarek Position Research Roles Member of Laboratory for Foundations of Computer Science
Research Interest
Computer science
Publications
-
Imperative functional programs that explain their work
-
Promoting Functions to Type Families in Haskell
-
Injective Type Families for Haskell
