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 × Canada
1 × China
1 × France
1 × Hungary
1 × Slovenia
1 × Sweden
1 × The Netherlands
2 × Portugal
3 × United Kingdom
7 × USA
Collaborated with:
G.M.Bierman D.Leijen M.Torgersen M.Shields J.Hook R.Lämmel S.Finne S.L.P.Jones J.Jeuring G.Hutton A.Takano B.Beckman W.Schulte N.Perry A.v.Yzendoorn K.Claessen T.Vullinghs M.M.Fokkinga R.Paterson J.R.Lewis J.Launchbury C.V.Russo G.Mainland
Talks about:
program (4) type (4) data (4) function (3) script (3) haskel (3) languag (2) heaven (2) formal (2) banana (2)

♂ Person: Erik Meijer

DBLP DBLP: Meijer:Erik

Facilitated 7 volumes:

GTTSE 2015SciCo
LDTA 2009PrCo
LDTA 2004PrCo
AFP 1996Ed
AFP 1995Ed
HW 1999Ed

Contributed to:

ECOOP 20122012
ECOOP 20112011
ECOOP 20102010
GPCE 20082008
OOPSLA 20072007
SIGMOD 20062006
ECOOP 20052005
GTTSE 20052005
ECOOP 20012001
POPL 20012001
POPL 20002000
ICFP 19991999
PADL 19991999
AFP 19981998
ICFP 19981998
ICFP 19971997
AFP 19951995
FPCA 19951995
FPCA 19911991

Wrote 21 papers:

ECOOP-2012-BiermanRMMT #c# #formal method #game studies
Pause’n’Play: Formalizing Asynchronous C# (GMB, CVR, GM, EM, MT), pp. 233–257.
ECOOP-2011-Meijer #scalability
A Co-relational Model of Data for Large Shared Data Banks (EM), p. 1.
ECOOP-2010-BiermanMT #c#
Adding Dynamic Types to C# (GMB, EM, MT), pp. 76–100.
GPCE-2008-Meijer #functional #programming
Fundamentalist functional programming (EM), pp. 99–100.
OOPSLA-2007-BiermanMT #c# #formal method
Lost in translation: formalizing proposed extensions to c# (GMB, EM, MT), pp. 479–498.
OOPSLA-2007-Meijer #programming language
Confessions of a used programming language salesman (EM), pp. 677–694.
SIGMOD-2006-MeijerBB #dot-net #framework #named #xml
LINQ: reconciling object, relations and XML in the .NET framework (EM, BB, GMB), p. 706.
ECOOP-2005-BiermanMS #data access
The Essence of Data Access in Cω (GMB, EM, WS), pp. 287–311.
Mappings Make Data Processing Go ’Round (RL, EM), pp. 169–218.
ECOOP-2001-MeijerPY #dot-net #using
Scripting .NET Using Mondrian (EM, NP, AvY), pp. 150–164.
Type-indexed rows (MS, EM), pp. 261–275.
POPL-2000-LewisLMS #parametricity #static typing
Implicit Parameters: Dynamic Scoping with Static Types (JRL, JL, EM, MS), pp. 108–118.
Calling Hell From Heaven and Heaven From Hell (SF, DL, EM, SLPJ), pp. 114–125.
PADL-1999-MeijerLH #haskell #web
Client-Side Web Scripting with HaskellScript (EM, DL, JH), pp. 196–210.
AFP-1998-LeijenMH98 #automation #haskell
Haskell as an Automation Controller (DL, EM, JH), pp. 268–289.
ICFP-1998-FinneLMJ #haskell #interface #named
H/Direct: A Binary Foreign Language Interface for Haskell (SF, DL, EM, SLPJ), pp. 153–162.
ICFP-1997-ClaessenVM #paradigm #visual notation
Structuring Graphical Paradigms in TkGofer (KC, TV, EM), pp. 251–262.
AFP-1995-MeijerJ95 #functional #monad #programming
Merging Monads and Folds for Functional Programming (EM, JJ), pp. 228–266.
FPCA-1995-MeijerH #exponential
Bananas in Space: Extending Fold and Unfold to Exponential Types (EM, GH), pp. 324–333.
FPCA-1995-TakanoM #deforestation
Shortcut Deforestation in Calculational Form (AT, EM), pp. 306–313.
FPCA-1991-MeijerFP #functional #lens #programming
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (EM, MMF, RP), pp. 124–144.

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.