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: Meijer:Erik
Facilitated 7 volumes:
Contributed to:
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.
- GTTSE-2005-LammelM
- 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.
- POPL-2001-ShieldsM
- 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.
- ICFP-1999-FinneLMJ
- 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.