![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Andres Löh
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
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
, Ryan Scott:
Deriving via: or, how to turn hand-written instances into an anti-pattern. Haskell@ICFP 2018: 55-67 - 2015
- [j8]Sean Leather
, Johan Jeuring, Andres Löh
, Bram Schuur:
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
, Bram Schuur:
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, Andres Löh
:
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
, José Pedro Magalhães:
Generic programming with indexed functors. WGP@ICFP 2011: 1-12 - 2010
- [j6]Andres Löh
, Conor McBride
, Wouter Swierstra:
A Tutorial Implementation of a Dependently Typed Lambda Calculus. Fundam. Informaticae 102(2): 177-207 (2010) - [j5]Eelco Dolstra, Andres Löh
, Nicolas Pierron:
NixOS: A purely functional Linux distribution. J. Funct. Program. 20(5-6): 577-615 (2010) - [c22]Thorsten Altenkirch
, Nils Anders Danielsson, Andres Löh
, Nicolas Oury:
PiSigma: Dependent Types without the Sugar. FLOPS 2010: 40-55 - [c21]José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh
:
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, Stefan Holdermans, Johan Jeuring, Andres Löh
:
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
, Andres Löh
:
Type-safe diff for families of datatypes. WGP@ICFP 2009: 61-72 - [c16]Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh
, Johan Jeuring:
Generic programming with fixed points for mutually recursive datatypes. ICFP 2009: 233-244 - [c15]Sean Leather
, Andres Löh
, Johan Jeuring:
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
, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie:
Report on the tenth ICFP programming contest. ICFP 2008: 397-408 - 2006
- [c12]Ralf Hinze, Andres Löh
, Bruno C. d. S. Oliveira:
"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
, Alexey Rodriguez:
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
, S. Doaitse Swierstra:
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
, Dave Clarke, Johan Jeuring:
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
, Dorothea Wagner, Thomas Willhalm:
Dynamic WWW Structures in 3D. J. Graph Algorithms Appl. 4(3): 183-191 (2000)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
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-07-22 23:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint