BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Hungary
1 × India
1 × The Netherlands
2 × Canada
2 × Italy
2 × United Kingdom
3 × Japan
4 × USA
Collaborated with:
J.Gibbons A.Löh N.Wu D.W.H.James R.S.Bird T.Harper J.Jeuring B.C.d.S.Oliveira T.Schrijvers
Talks about:
function (8) implement (3) program (3) pearl (3) structur (2) generic (2) troubl (2) theori (2) scheme (2) recurs (2)

Person: Ralf Hinze

DBLP DBLP: Hinze:Ralf

Facilitated 3 volumes:

IFL 2012Ed
ICFP 2007Ed
HW 2001Ed

Contributed to:

POPL 20152015
ICFP 20132013
ICFP 20112011
IFL 20102010
CEFP 20092009
ICFP 20092009
ICFP 20082008
IFL 20082008
FLOPS 20062006
PPDP 20062006
ICFP 20042004
ICFP 20022002
ICFP 20012001
ICFP 20002000
POPL 20002000
FLOPS 19991999
FLOPS 19981998
IJFCS/FLOPS 19982001
Haskell 20032003
Haskell 20142014

Wrote 22 papers:

POPL-2015-HinzeWG #morphism #recursion
Conjugate Hylomorphisms — Or: The Mother of All Structured Recursion Schemes (RH, NW, JG), pp. 527–538.
ICFP-2013-HinzeWG #recursion
Unifying structured recursion schemes (RH, NW, JG), pp. 209–220.
ICFP-2011-GibbonsH #equation #monad #reasoning
Just do it: simple monadic equational reasoning (JG, RH), pp. 2–14.
ICFP-2011-HinzeJ #category theory #fixpoint #proving
Proving the unique fixed-point principle correct: an adventure with category theory (RH, DWHJ), pp. 359–371.
IFL-2010-HinzeHJ #theory and practice
Theory and Practice of Fusion (RH, TH, DWHJ), pp. 19–37.
CEFP-2009-Hinze #reasoning
Reasoning about Codata (RH), pp. 42–93.
ICFP-2009-Hinze #functional
Functional Pearl: La Tour D’Hanoï (RH), pp. 3–10.
ICFP-2008-Hinze #fixpoint #functional
Functional pearl: streams and unique fixed points (RH), pp. 189–200.
IFL-2008-Hinze #proving #theorem
Scans and Convolutions — A Calculational Proof of Moessner’s Theorem (RH), pp. 1–24.
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.
Generics for the masses (RH), pp. 236–243.
ICFP-2002-Hinze #array #flexibility
Bootstrapping one-sided flexible arrays (RH), pp. 2–13.
ICFP-2001-Hinze #implementation
A Simple Implementation Technique for Priority Search Queues (RH), pp. 110–121.
ICFP-2000-Hinze #backtracking #monad
Deriving backtracking monad transformers (RH), pp. 186–197.
POPL-2000-Hinze #approach #functional #programming
A New Approach to Generic Functional Programming (RH), pp. 119–132.
FLOPS-1999-Hinze #programming
Polytypic Programming With Ease (RH), pp. 21–36.
FLOPS-1998-Hinze #axiom #functional #implementation #prolog
Prological Features in a Functional Setting Axioms and Implementation (RH), pp. 98–122.
FLOPS-J2-1998-Hinze01 #axiom #functional #implementation #prolog
Prolog’s Control Constructs in a Functional Setting — Axioms and Implementation (RH), pp. 125–170.
Haskell-2003-BirdH #functional
Functional Pearl trouble shared is trouble halved (RSB, RH), pp. 1–6.
Effect handlers in scope (NW, TS, RH), pp. 1–12.

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.