Andres Löh
Andres Löh
Haskell Consultant, Well-Typed LLP
Verified email at well-typed.com
Title
Cited by
Cited by
Year
Exploring Generic Haskell
A Löh
Utrecht University, 2004
942004
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
932009
A generic deriving mechanism for Haskell
JP Magalhães, A Dijkstra, J Jeuring, A Löh
ACM Sigplan Notices 45 (11), 37-48, 2010
872010
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
Generic H∀ SKELL, Specifically
D Clarke, A Löh
Generic Programming, 21-47, 2003
772003
Open data types and open functions
A Löh, R Hinze
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
762006
Generics for the masses
R Hinze
Journal of functional programming 16 (4-5), 451-483, 2006
742006
Type-indexed data types
R Hinze, J Jeuring, A Löh
International Conference on Mathematics of Program Construction, 148-174, 2002
722002
Comparing approaches to generic programming in Haskell
R Hinze, J Jeuring, A Löh
International Spring School on Datatype-Generic Programming, 72-149, 2006
702006
Dependency-style generic haskell
A Löh, D Clarke, J Jeuring
ACM SIGPLAN Notices 38 (9), 141-152, 2003
672003
Type-indexed data types
R Hinze, J Jeuring, A Löh
Science of Computer Programming 51 (1-2), 117-151, 2004
662004
Generic views on data types
S Holdermans, J Jeuring, A Löh, A Rodriguez
International Conference on Mathematics of Program Construction, 209-234, 2006
582006
“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
522008
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
462001
A tutorial implementation of a dependently typed lambda calculus
A Löh, C McBride, W Swierstra
Fundamenta informaticae 102 (2), 177-207, 2010
45*2010
FUNCTIONAL PEARL Parsing permutation phrases
AI Baars, A Löh, SD Swierstra
Journal of functional programming 14 (6), 635-646, 2004
422004
ΠΣ: Dependent types without the sugar
T Altenkirch, NA Danielsson, A Löh, N Oury
International Symposium on Functional and Logic Programming, 40-55, 2010
362010
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