default search action
Andres Löh
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j9]Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu
, Jeremy Yallop, Meng Wang
Staging with class: a specification for typed template Haskell. Proc. ACM Program. Lang. 6(POPL): 1-30 (2022) - 2021
- [i1]Matthew Pickering, Andres Löh, Nicolas Wu:
A Specification for Typed Template Haskell. CoRR abs/2112.03653 (2021) - 2020
- [c34]Matthew Pickering, Andres Löh, Nicolas Wu
Staged sums of products. Haskell@ICFP 2020: 122-135
2010 – 2019
- 2018
- [c33]Baldur Blöndal, Andres Löh
Deriving via: or, how to turn hand-written instances into an anti-pattern. Haskell@ICFP 2018: 55-67 - 2015
- [j8]Sean Leather
Type-changing rewriting and semantics-preserving transformation. Sci. Comput. Program. 112: 145-169 (2015) - [c32]Alp Mestanogullari, Sönke Hahn, Julian K. Arni, Andres Löh
Type-level web APIs with Servant: an exercise in domain-specific generic programming. WGP@ICFP 2015: 1-12 - [c31]José Pedro Magalhães, Andres Löh
Hierarchy in Generic Programming Libraries. MPC 2015: 93-112 - 2014
- [c30]Helmut Grohne, Andres Löh, Janis Voigtländer:
Formalizing Semantic Bidirectionalization with Dependent Types. EDBT/ICDT Workshops 2014: 75-81 - [c29]Edsko de Vries, Andres Löh
True sums of products. WGP@ICFP 2014: 83-94 - [c28]Wouter Swierstra, Andres Löh
The Semantics of Version Control. Onward! 2014: 43-54 - [c27]José Pedro Magalhães, Andres Löh
Generic Generic Programming. PADL 2014: 216-231 - [c26]Sean Leather, Johan Jeuring, Andres Löh
Type-changing rewriting and semantics-preserving transformation. PEPM 2014: 109-120 - 2013
- [c25]Bruno C. d. S. Oliveira, Andres Löh
Abstract syntax graphs for domain specific languages. PEPM 2013: 87-96 - 2012
- [j7]Duncan Coutts, Andres Löh
Deterministic Parallel Programming with Haskell. Comput. Sci. Eng. 14(6): 36-43 (2012) - [c24]José Pedro Magalhães
A Formal Comparison of Approaches to Datatype-Generic Programming. MSFP 2012: 50-67 - [e2]Andres Löh, Ronald Garcia:
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012. ACM 2012, ISBN 978-1-4503-1576-0 [contents] - 2011
- [c23]Andres Löh
Generic programming with indexed functors. WGP@ICFP 2011: 1-12 - 2010
- [j6]Andres Löh
A Tutorial Implementation of a Dependently Typed Lambda Calculus. Fundam. Informaticae 102(2): 177-207 (2010) - [j5]Eelco Dolstra, Andres Löh
NixOS: A purely functional Linux distribution. J. Funct. Program. 20(5-6): 577-615 (2010) - [c22]Thorsten Altenkirch
PiSigma: Dependent Types without the Sugar. FLOPS 2010: 40-55 - [c21]José Pedro Magalhães
A generic deriving mechanism for Haskell. Haskell 2010: 37-48 - [c20]Sebastiaan Visser, Andres Löh
Generic storage in Haskell. ICFP-WGP 2010: 25-36 - [c19]Kasper Brink, Stefan Holdermans, Andres Löh
Dependently Typed Grammars. MPC 2010: 58-79 - [c18]José Pedro Magalhães
Optimizing generics is easy! PEPM 2010: 33-42
2000 – 2009
- 2009
- [j4]Ralf Hinze, Andres Löh
Generic programming in 3D. Sci. Comput. Program. 74(8): 590-628 (2009) - [c17]Eelco Lempsink, Sean Leather
Type-safe diff for families of datatypes. WGP@ICFP 2009: 61-72 - [c16]Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh
Generic programming with fixed points for mutually recursive datatypes. ICFP 2009: 233-244 - [c15]Sean Leather
Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization. IFL 2009: 159-178 - 2008
- [c14]Eelco Dolstra, Andres Löh
NixOS: a purely functional Linux distribution. ICFP 2008: 367-378 - [c13]Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh
Report on the tenth ICFP programming contest. ICFP 2008: 397-408 - 2006
- [c12]Ralf Hinze, Andres Löh
"Scrap Your Boilerplate" Reloaded. FLOPS 2006: 13-29 - [c11]Ralf Hinze, Johan Jeuring, Andres Löh
Typed Contracts for Functional Programming. FLOPS 2006: 208-225 - [c10]Ralf Hinze, Andres Löh
"Scrap Your Boilerplate" Revolutions. MPC 2006: 180-208 - [c9]Stefan Holdermans, Johan Jeuring, Andres Löh
Generic Views on Data Types. MPC 2006: 209-234 - [c8]Andres Löh, Ralf Hinze:
Open data types and open functions. PPDP 2006: 133-144 - [c7]Bruno C. d. S. Oliveira, Ralf Hinze, Andres Löh:
Extensible and modular generics for the masses. Trends in Functional Programming 2006: 199-216 - [c6]Ralf Hinze, Johan Jeuring, Andres Löh:
Comparing Approaches to Generic Programming in Haskell. SSDGP 2006: 72-149 - [c5]Ralf Hinze, Andres Löh:
Generic Programming, Now! SSDGP 2006: 150-208 - [e1]Andres Löh:
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006. ACM 2006, ISBN 1-59593-489-8 [contents] - 2005
- [c4]Daan Leijen, Andres Löh
Qualified types for MLF. ICFP 2005: 144-155 - 2004
- [b1]Andres Löh:
Exploring generic Haskell. Utrecht University, Netherlands, Univ. Utrecht 2004, ISBN 978-90-393-3765-3, pp. I-XIV, 1-334 - [j3]Arthur I. Baars, Andres Löh
Parsing permutation phrases. J. Funct. Program. 14(6): 635-646 (2004) - [j2]Ralf Hinze, Johan Jeuring, Andres Löh
Type-indexed data types. Sci. Comput. Program. 51(1-2): 117-151 (2004) - 2003
- [c3]Andres Löh
Dependency-style generic Haskell. ICFP 2003: 141-152 - 2002
- [c2]Dave Clarke, Andres Löh:
Generic Haskell, Specifically. Generic Programming 2002: 21-47 - [c1]Ralf Hinze, Johan Jeuring, Andres Löh
Type-Indexed Data Types. MPC 2002: 148-174 - 2000
- [j1]Ulrik Brandes, Vanessa Kääb, Andres Löh
Dynamic WWW Structures in 3D. J. Graph Algorithms Appl. 4(3): 183-191 (2000)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: