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 × USA
3 × United Kingdom
Collaborated with:
S.D.Swierstra A.Löh P.v.d.Walt N.Oury T.Altenkirch ∅ J.Stutterheim M.Viera N.Wu J.P.Magalhães J.Bransen
Talks about:
program (3) report (2) experi (2) proof (2) attribut (1) version (1) utrecht (1) reflect (1) grammar (1) control (1)

Person: Wouter Swierstra

DBLP DBLP: Swierstra:Wouter

Facilitated 1 volumes:

Haskell 2014Ed

Contributed to:

Onward! 20142014
IFL 20122012
TFPIE 20122012
ICFP 20092009
ICFP 20082008
Haskell 20072007
Haskell 20122012

Wrote 8 papers:

Onward-2014-SwierstraL #semantics #version control
The Semantics of Version Control (WS, AL), pp. 43–54.
IFL-2012-WaltS #proving
Engineering Proof by Reflection in Agda (PvdW, WS), pp. 157–173.
IFL-2012-WuMBS #case study #experience #lazy evaluation #mining
Pure and Lazy λ Mining — An Experience Report (NW, JPM, JB, WS), pp. 207–223.
TFPIE-2012-StutterheimSS #declarative #education #programming #prolog
Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht (JS, WS, SDS), pp. 50–62.
ICFP-2009-VieraSS #aspect-oriented #attribute grammar #haskell #how #programming
Attribute grammars fly first-class: how to do aspect oriented programming in Haskell (MV, SDS, WS), pp. 245–256.
ICFP-2008-OuryS #power of
The power of Pi (NO, WS), pp. 39–50.
Haskell-2007-SwierstraA
Beauty in the beast (WS, TA), pp. 25–36.
Haskell-2012-Swierstra #case study #coq #experience #programming #proving
xmonad in Coq (experience report): programming a window manager in a proof assistant (WS), pp. 131–136.
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.