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: Smetsers:Sjaak
Contributed to:
2012
2005
20052002
1996
1995
1991
2005Wrote 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.