Concepedia

Andres Löh

AL

25

Publications

833

Citations

18

H-Index

2000

Active since

Affiliations

Utrecht University(Current)

Open University of the Netherlands

Vector Fabrics (Netherlands)

University of Bonn

Delft University of Technology

Andres Löh is an author at Utrecht University specializing in engineering, computer science, and formal methods.

ORCID

Top concepts

Publications per year

2000–2022

25

Publications

25

Type-indexed data types

Ralf Hinze, Johan Jeuring, Andres Löh · Science of Computer Programming · 2004 · 77 citations

, , +9

A generic deriving mechanism for Haskell

José Pedro Magalhães, Atze Dijkstra, Johan Jeuring et al. · 2010 · 72 citations

, , +16

Generic programming with fixed points for mutually recursive datatypes

Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh et al. · 2009 · 66 citations

, , +15

Open data types and open functions

Andres Löh, Ralf Hinze · 2006 · 61 citations

, , +21

Dependency-style generic haskell

Andres Löh, Dave Clarke, Johan Jeuring · 2003 · 51 citations

, , +16

Rows per page

1–5 of 25