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 × Ireland
1 × Italy
1 × Spain
2 × The Netherlands
2 × USA
Collaborated with:
M.C.J.D.v.Eekelen A.Alimarine J.H.G.v.Groningen M.J.Plasmeijer A.v.Weelden R.Plasmeijer E.Barendsen L.Lensink D.v.Arkel E.Nöcker
Talks about:
program (3) function (2) languag (2) fusion (2) framework (1) practic (1) polytyp (1) generic (1) generat (1) concurr (1)

Person: Sjaak Smetsers

DBLP DBLP: Smetsers:Sjaak

Contributed to:

IFM 20122012
IFL 20052005
PADL 20052005
IFL 20022002
CSL 19961996
PPDP 19951995
FPCA 19911991
Haskell 20052005

Wrote 8 papers:

IFM-2012-LensinkSE #concurrent #framework #proving #source code
A Proof Framework for Concurrent Programs (LL, SS, MCJDvE), pp. 174–190.
IFL-2005-WeeldenSP #syntax
Polytypic Syntax Tree Operations (AvW, SS, RP), pp. 142–159.
PADL-2005-AlimarineS #optimisation
Improved Fusion for Optimizing Generics (AA, SS), pp. 203–218.
IFL-2002-ArkelGS
Fusion in Practice (DvA, JHGvG, SS), pp. 51–67.
CSL-1996-EekelenSP #functional #graph grammar #programming language #semantics
Graph Rewriting Semantics for Functional Programming Languages (MCJDvE, SS, MJP), pp. 106–128.
PLILP-1995-BarendsenS #type inference
Uniqueness Type Inference (EB, SS), pp. 189–206.
FPCA-1991-SmetsersNGP #functional #generative #lazy evaluation #performance
Generating Efficient Code for Lazy Functional Languages (SS, EN, JHGvG, MJP), pp. 592–617.
Haskell-2005-AlimarineSWEP #programming
There and back again: arrows for invertible programming (AA, SS, AvW, MCJDvE, RP), pp. 86–97.

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.