Andres Löh
Andres Löh
Haskell Consultant, Well-Typed LLP
Verified email at well-typed.com
Title
Cited by
Cited by
Year
Generic programming with fixed points for mutually recursive datatypes
AR Yakushev, S Holdermans, A Löh, J Jeuring
ACM Sigplan Notices 44 (9), 233-244, 2009
942009
Exploring Generic Haskell
A Löh
Utrecht University, 2004
912004
A generic deriving mechanism for Haskell
JP Magalhaes, A Dijkstra, J Jeuring, A Löh
ACM Sigplan Notices 45 (11), 37-48, 2010
882010
Typed contracts for functional programming
R Hinze, J Jeuring, A Löh
International Symposium on Functional and Logic Programming, 208-225, 2006
812006
“Scrap your boilerplate” reloaded
R Hinze, A Löh, BCS Oliveira
International Symposium on Functional and Logic Programming, 13-29, 2006
792006
Open data types and open functions
A Löh, R Hinze
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
752006
Generic H∀ SKELL, Specifically
D Clarke, A Löh
Generic Programming, 21-47, 2003
752003
Extensible and modular generics for the masses
BCS Oliveira, R Hinze, A Löh
TFP 6, 199-216, 2007
732007
Comparing approaches to generic programming in Haskell
R Hinze, J Jeuring, A Löh
International Spring School on Datatype-Generic Programming, 72-149, 2006
712006
Type-indexed data types
R Hinze, J Jeuring, A Löh
International Conference on Mathematics of Program Construction, 148-174, 2002
702002
Dependency-style generic haskell
A Löh, D Clarke, J Jeuring
ACM SIGPLAN Notices 38 (9), 141-152, 2003
652003
Type-indexed data types
R Hinze, J Jeuring, A Löh
Science of Computer Programming 51 (1-2), 117-151, 2004
622004
Generic views on data types
S Holdermans, J Jeuring, A Löh, A Rodriguez
International Conference on Mathematics of Program Construction, 209-234, 2006
572006
“Scrap your boilerplate” revolutions
R Hinze, A Löh
International Conference on Mathematics of Program Construction, 180-208, 2006
552006
NixOS: A purely functional Linux distribution
E Dolstra, A Löh
Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
532008
A tutorial implementation of a dependently typed lambda calculus
A Löh, C McBride, W Swierstra
Fundamenta informaticae 102 (2), 177-207, 2010
452010
The Generic Haskell user’s guide
D Clarke, R Hinze, J Jeuring, A Löh, J de Wit
Technical Report UU-CS-2001-26, Utrecht University, 2001
452001
Parsing permutation phrases
A Baars, A Löh, SD Swierstra
Proceedings of the 2001 ACM SIGPLAN Haskell Workshop, 171-182, 2001
412001
ΠΣ: Dependent types without the sugar
T Altenkirch, NA Danielsson, A Löh, N Oury
International Symposium on Functional and Logic Programming, 40-55, 2010
372010
Qualified types for MLF
D Leijen, A Löh
Proceedings of the tenth ACM SIGPLAN international conference on Functional …, 2005
362005
The system can't perform the operation now. Try again later.
Articles 1–20