BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Estonia
1 × Greece
1 × Spain
1 × Sweden
1 × United Kingdom
2 × Italy
2 × Japan
3 × USA
Collaborated with:
J.Jeuring R.Hinze J.P.Magalhães B.C.d.S.Oliveira S.Holdermans E.Dolstra W.Swierstra D.Leijen H.Grohne J.Voigtländer D.Clarke B.Blöndal R.Scott S.Leather B.Schuur T.Altenkirch N.A.Danielsson N.Oury A.R.Yakushev A.Dijkstra J.Hage B.Heeren C.Löh A.Middelkoop A.Rodriguez J.v.Schie
Talks about:
generic (6) type (6) program (4) function (3) semant (3) depend (3) haskel (2) deriv (2) open (2) bidirection (1)

Person: Andres Löh

DBLP DBLP: L=ouml=h:Andres

Facilitated 1 volumes:

Haskell 2006Ed

Contributed to:

EDBT/ICDT Workshops 20142014
Onward! 20142014
PADL 20142014
PEPM 20142014
PEPM 20132013
FLOPS 20102010
PEPM 20102010
ICFP 20092009
ICFP 20082008
FLOPS 20062006
PPDP 20062006
ICFP 20052005
ICFP 20032003
Haskell 20102010
Haskell 20182018

Wrote 17 papers:

BX-2014-GrohneLV #bidirectional #dependent type #formal method #semantics
Formalizing Semantic Bidirectionalization with Dependent Types (HG, AL, JV), pp. 75–81.
Onward-2014-SwierstraL #semantics #version control
The Semantics of Version Control (WS, AL), pp. 43–54.
PADL-2014-MagalhaesL #programming
Generic Generic Programming (JPM, AL), pp. 216–231.
PEPM-2014-LeatherJLS #semantics
Type-changing rewriting and semantics-preserving transformation (SL, JJ, AL, BS), pp. 109–120.
PEPM-2013-OliveiraL #domain-specific language #graph #syntax
Abstract syntax graphs for domain specific languages (BCdSO, AL), pp. 87–96.
FLOPS-2010-AltenkirchDLO #dependent type #named
ΠΣ: Dependent Types without the Sugar (TA, NAD, AL, NO), pp. 40–55.
PEPM-2010-MagalhaesHJL #exclamation #optimisation
Optimizing generics is easy! (JPM, SH, JJ, AL), pp. 33–42.
ICFP-2009-YakushevHLJ #data type #fixpoint #programming #recursion
Generic programming with fixed points for mutually recursive datatypes (ARY, SH, AL, JJ), pp. 233–244.
ICFP-2008-DolstraHHHJLLMRS #contest #programming
Report on the tenth ICFP programming contest (ED, JH, BH, SH, JJ, AL, CL, AM, AR, JvS), pp. 397–408.
ICFP-2008-DolstraL #functional #linux #named
NixOS: a purely functional Linux distribution (ED, AL), pp. 367–378.
FLOPS-2006-HinzeJL #contract #functional #programming
Typed Contracts for Functional Programming (RH, JJ, AL), pp. 208–225.
FLOPS-2006-HinzeLO #scrap your boilerplate
“Scrap Your Boilerplate” Reloaded (RH, AL, BCdSO), pp. 13–29.
PPDP-2006-LohH #data type #open data
Open data types and open functions (AL, RH), pp. 133–144.
ICFP-2005-LeijenL
Qualified types for MLF (DL, AL), pp. 144–155.
ICFP-2003-LohCJ #haskell
Dependency-style generic Haskell (AL, DC, JJ), pp. 141–152.
Haskell-2010-MagalhaesDJL #haskell
A generic deriving mechanism for Haskell (JPM, AD, JJ, AL), pp. 37–48.
Haskell-2018-BlondalLS #anti #how
Deriving via: or, how to turn hand-written instances into an anti-pattern (BB, AL, RS), pp. 55–67.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.