|
|
Erik Meijer is an architect in the SQL Server group at Microsoft. His alter-ego is VBTV's
"Head in the Box".
Erik is also a big supporter of the "We
Want Bill!" campaign of
DJ No Name and
Jennifer White.
Go Bill!
Background
Before joining Microsoft, I was an associate professor at
Utrecht University
where I worked on advanced scripting languages such as
Haskell, XMLambda, and
Mondrian and directed the
Microsoft lab (now defunct).
I am currently working with the
C# and
Visual Basic
teams on language and type-system support for bridging the
worlds of object-oriented (CLR), relational (SQL), and hierarchical (XML) data,
and of course
first class functions. Most recently I am looking at better
support for
dynamism, really reviving the Mondrian experiment.
You might want to look at our recent
POPL submission even though it was rejected, it
was accepted for ECOOP 2005, or the
original Bill Gates Thinkweek submission if you are interested in the
history. You can also play with
C ω
research compiler, or
look at a slightly older
presentation.
Quote of the day
Professional activities
In both my personal and professional life, I try to be an active member of
the community. Amongst other things, I am or have been:
- Initiator and organizer of the International Summer Schools on Advanced
Functional Programming series.
- One of the designers of the lazy functional programming language
Haskell98.
- Secretary of IFIP Working
Group 2.8 on Functional Programming.
- Member of the board of directors of Software Engineering Research Center
in Utrecht (SERC).
- Invited speaker at the First International Spring School on Advanced
Functional Programming (1995), the Second Fuji International Workshop
on Functional and Logic Programming (1996), the 6th International
Workshop on Functional and Logic Programming (1997) in Germany, the
NSF Workshop on Recent Results and Undergraduate Curriculum Innovations
(1997), the Third International Summer School on Advanced Functional
Programming (1998), the International Conference on Functional
Programming 1998, ECOOP 2001,
NJPLS,
ETAPS 2003
- Member of the program committee for PLILP'95 and PLILP'96, the Second Fuji
International Workshop on Functional and Logic Programming, the 1997 Haskell
Workshop, IFL'97, ICFP'98, HW'99 (chair), HW'00, PADL 2001,
MOP 2002, the OOPSLA 2002 Poster Sessions, CGO 2003,
COCV 2003,
ECOOP 2006.
In the more distant past, I organized a Summerschool on Constructive
Algorithmics and a WG2.1 meeting and served as the local project leader of
ESPRIT basic research project 3157: "Phoenix; Integration of Functional and
Logic Programming".
Publications
Don't forget to check out the NEC research index
http://citeseer.nj.nec.com/ and
http://citeseer.nj.nec.com/allcited.html.
Internet programming
Components and foreign-language integration
- Erik Meijer and
Clemens Szyperski. Overcoming Independent Extensibility Challenges, In Communications of
the ACM. Vol. 45, No. 10, pp. 41–44, October 2002.
- Erik Meijer and John Gough.
A Technical Overview of the Commmon Language Infrastructure.
- Erik Meijer and Clemens Szyperski.
What's In A Name: .NET as a Component Framework, In
Proc. First OOPSLA
Workshop on Language Mechanisms for Programming Software Components.
- Erik Meijer and Sigbjorn Finne.
Lambada,
Haskell as a Better Java, In
Proc. Haskell Workshop 2000.
- Daan Leijen and Erik Meijer.
Domain Specific Embedded Compilers ,
In Proc.
2nd USENIX Conference on Domain-Specific Languages'99
.
- Sigbjorn Finne, Daan Leijen, Erik Meijer, and Simon Peyton Jones.
Calling Hell from Heaven and Heaven from Hell, In Proc. ICFP'99.
- Daan Leijen, Erik Meijer, and Jim Hook.
Haskell As An
Automation Controller, volume 1608 of Springer LNCS, Braga,
Portugal, 1999.
- Riccardo Pucella, Dino Oliva, and Erik Meijer.
Aspects de la
programmation d'applications Win32 avec un language fonctionnel .
In Proc. 98 French workshop on applicative languages.
- Sigbjorn Finne, Daan Leijen, Erik Meijer, and Simon Peyton Jones.
H/Direct: A Binary Foreign Language Interface for Haskell , In
Proc. ICFP'98, 1998.
- Simon Peyton Jones, Erik Meijer, and Daan Leijen.
Scripting COM Components in Haskell, In Proc. International
Conference on Software Reuse, 1998.
Language Design
ω.
Submitted to POPL-2005.
Erik Meijer and Peter
Drayton. Static Typing Where Possible,
Dynamic Typing When Needed: The End of the Cold War Between Programming
Languages. Proc.
OOPSLA'04 Workshop on Revival of Dynamic Languages.
Erik Meijer and Wolfram Schulte. Programming with Rectangles,
Triangles, and Circles, In Proc. XML
2003.
Erik Meijer and
Wolfram Schulte. Unifying Tables, Objects,
and Documents, In Proc.
DP-COOL 2003.
Erik Meijer and Wolfram Schulte. XML Types for
C#, BillG ThinkWeek Submission Winter 2001.
Jason Smith, Nigel Perry, and Erik Meijer,
Mondrian for .NET, In Dr Dobb's Journal,
February 2002.
Nigel Perry and Erik Meijer,
Implementing Functional Languages on Object-Oriented Virtual Machines
(draft).
Erik Meijer, Nigel Perry and Arjan van Yzendoorn,
Scripting
.NET using Mondrian, In Proc. ECOOP'01.
Mark Shields and Erik Meijer
Type-Indexed
Rows. In Proc. POPL'01.
Erik Meijer and Mark Shields
XMLambda: A Functional
Programming Language for Constructing and Manipulating XML Documents.
Draft.
Jeffrey Lewis, Mark Shields,
Erik Meijer and John Launchbury.
Implicit
Parameters: Dynamic Scoping with Static Types. In
POPL'00.
Simon Peyton Jones and John Hughes (editors),
Report on the Programming Language Haskell
98, February 1, 1999.
Simon Peyton Jones, Mark Jones, and Erik Meijer.
Type
classes: Exploring the Design Space. In Proc. Haskell Workshop, 1997.
Erik Meijer and Koen Claessen.
The Design and
Implementation of Mondrian. In Proc. Haskell Workshop, 1997.
Simon Peyton Jones and Erik Meijer.
Henk: A
Typed Intermediate Language. In Proc. Types In Compilation Workshop,
1997.
John Peterson (editor), Report on
the Programming Language Haskell 1.4, April 6, 1997.
Software Design
- John Launchbury, Erik Meijer, and Tim Sheard, editors. Advanced
Functional Programming, volume 1129 of Springer LNCS, Olympia, USA, 1996.
- Johan Jeuring and Erik Meijer, editors. Advanced Functional
Programming, volume 925 of Springer LNCS, Bastad, Sweden, 1995.
- Erik Meijer and Johan Jeuring.
Merging Maps and
Folds for Functional Programming. LNCS 925, 1995.
- Akihiko Takano and Erik Meijer.
Shortcut
Deforestation in Calculational Form. In Proc. FPCA'95, 1995.
- Erik Meijer and Graham Hutton.
Bananas in
Space: Extending fold and unfold to Exponential Types. In Proc.
FPCA'95.
- Luc Duponcheel and Erik Meijer. On the Expressive Power of Constructor
Classes. In Functional Programming Glasgow 1994, Workshops in Computing.
Springer, 1994.
- Erik Meijer, Maarten Fokkinga, and Ross Paterson.
Functional
Programming with Bananas, Lenses, Envelopes, and Barbed Wire. In
Proc. FPCA'91, volume 523 of LNCS. Springer-Verlag..
- Maarten Fokkinga and Erik Meijer. Program Calculation Properties of
Continuous Algebras. Technical Report 91-4, CWI, 1991.
Hardware Design
Graphical User Interfaces
Parsing
- Daan Leijen and Erik Meijer.
Parsec:
A Practical Parser Library.
Submitted to Haskell Workshop, June 2001.
- Graham Hutton and Erik Meijer.
Monadic
Parser Combinators. Journal of Functional Programming, 8(4):437-444,
Cambridge University Press, July 1998.
- Graham Hutton and Erik Meijer.
Monadic
Parser Combinators. Technical Report NOTTCS-TR-96-4, Department of
Computer Science, University of Nottingham, 1996.
- Johan Jeuring, Maarten Fokkinga, Lambert Meertens, and Erik Meijer.
Translating Attribute Grammars into Catamorphisms. The Squigolist, 2(1),
1991.
Compiling
- Erik Meijer, Ross Paterson.
Down With
Lambda-Lifting. Unfinished draft.
- Erik Meijer. More Advice on Proving a Compiler Correct: Improve a
Correct Compiler. In PHOENIX Seminar and workshop on declarative
programming, volume 91 of Workshops in Computer Science. Springer-Verlag,
1992.
- Erik Meijer. A BMF for Semantics. Periodica Polytechnica, Ser.
Electrical Engineering, 35(1):1-17, 1991. Technical University of Budapest.
- Erik Meijer. A Taxonomy of Backtracking. In Computer Science in
the Netherlands 1989. SION, 1989.
- Erik Meijer. A Taxonomy of Function Evaluating Machines. In proc.
1988 `Aspenas' workshop on the implementation of functional languages.
Chalmers University of Technology Report 53, 1988.
- Erik Meijer and Kees Koster. The M-Machine. In Computer Science
in the Netherlands 1988, Volume 1, pages 45-61. SION, 1988.
- Erik Meijer. Generalized Expression Evaluation. Technical Report
88-5, KUN, 1988.
- Erik Meijer. Petri net Models for the lambda-calculus. In
Advances in Petri nets, volume 266 of LNCS. Springer-Verlag, 1987.
PhD thesis
|
