Erik Meijer - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

A co-relational model of data for large shared data banksErik Meijer, Gavin M. Bierman. CACM, 54(4):49-58, 2011. [doi]

A Co-relational Model of Data for Large Shared Data BanksErik Meijer. ECOOP 2011: 1 [doi]

2010

Adding Dynamic Types to C:::#:::Gavin M. Bierman, Erik Meijer, Mads Torgersen. ECOOP 2010: 76-100 [doi]

2008

2007

Lost in translation: formalizing proposed extensions to c#Gavin M. Bierman, Erik Meijer, Mads Torgersen. OOPSLA 2007: 479-498 [doi]

Democratizing the cloudErik Meijer. OOPSLA 2007: 858-859 [doi]

Visual BasicErik Meijer. OOPSLA 2007: 860-861 [doi]

Confessions of a used programming language salesmanErik Meijer. OOPSLA 2007: 677-694 [doi]

2006

2005

The Essence of Data Access in C::::omega::::Gavin M. Bierman, Erik Meijer, Wolfram Schulte. ECOOP 2005: 287-311 [doi]

2004

Implementing functional languages on object-oriented virtual machinesNigel Perry, Erik Meijer. iee, 151(1):1-9, 2004. [doi]

2002

Overcoming independent extensibility challengesErik Meijer, Clemens A. Szyperski. CACM, 45(10):41-44, 2002. [doi]

2001

Scripting .NET Using MondrianErik Meijer, Nigel Perry, Arjan van Yzendoorn. ECOOP 2001: 150-164 [doi]

Type-indexed rowsMark Shields, Erik Meijer. POPL 2001: 261-275 [doi]

2000

1999

Calling Hell From Heaven and Heaven From HellSigbjorn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones. ICFP 1999: 114-125 [doi]

Domain specific embedded compilersDaan Leijen, Erik Meijer. DSL 1999: 109-122 [doi]

Client-Side Web Scripting with HaskellScriptErik Meijer, Daan Leijen, James Hook. padl 1998: 196-210 [doi]

1998

H/Direct: A Binary Foreign Language Interface for HaskellSigbjorn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones. ICFP 1998: 153-162 [doi]

Monadic Parsing in HaskellGraham Hutton, Erik Meijer. JFP, 8(4):437-444, 1998.

Haskell as an Automation ControllerDaan Leijen, Erik Meijer, James Hook. afp 1998: 268-289

1997

Structuring Graphical Paradigms in TkGoferKoen Claessen, Ton Vullinghs, Erik Meijer. ICFP 1997: 251-262

1996

Back to Basics: Deriving Representation Changers FunctionallyGraham Hutton, Erik Meijer. JFP, 6(1):181-188, 1996.

Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial TextJohn Launchbury, Erik Meijer, Tim Sheard, editors, Volume 1129 of Lecture Notes in Computer Science, Springer, 1996.

1995

Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial TextJohan Jeuring, Erik Meijer, editors, Volume 925 of Lecture Notes in Computer Science, Springer, 1995.

Bananas in Space: Extending Fold and Unfold to Exponential TypesErik Meijer, Graham Hutton. fpca 1995: 324-333

Merging Monads and Folds for Functional ProgrammingErik Meijer, Johan Jeuring. afp 1995: 228-266

Shortcut Deforestation in Calculational FormAkihiko Takano, Erik Meijer. fpca 1995: 306-313

1992

Hazard Algebra and the Design of Asynchronous AutomataErik Meijer. fp 1993: 166-177

1991

Functional Programming with Bananas, Lenses, Envelopes and Barbed WireErik Meijer, Maarten M. Fokkinga, Ross Paterson. fpca 1991: 124-144

More Advice on Proving a Compiler Correct: Improve a Correct CompilerErik Meijer. phoenix 1992: 255-273

1986

Petri net models for the lambda-calculusErik Meijer. apn 1987: 162-180