Citations, reference list, and author index with apacite (2008)
The apacite package is a package that can be used with L ATEX and BibT E X to generate citations and a reference list, formatted according to the rules of the American Psychological Association....
Erik Meijer, Clemens Szyperski
Software components are usefully characterized as units of deployment–although this is not the only criterion [4]. In this article, whenever we say component we mean software component in that...
Reference The following presentation is based on... (2008)
Graham Hutton, Erik Meijer, Monadic Parser Combinators
•...in the following summarized as parsing...an application of functional programming typically used to demonstrate its power and elegance. Enjoys a long history. An early work for example is...
The Haskell 98 Foreign Function Interface 1.0 An Addendum to the Haskell 98 Report (2008)
Manuel Chakravarty [editor, South Wales, Sigbjorn Finne, Galois Connections, Fergus Henderson, Marcin Kowalczyk, ...
The authors intend this Report to belong to the entire Haskell community, and so we grant permission
Hazard Algebra for Asynchronous Circuits (2008)
dat ene moment dat de tijd stopt dat ene moment dat alles klopt dat ene moment niks te kort niet te veel dat je onderdeel bent
Getting the Masses Hooked on Haskell (2008)
When considering the past or the future, dear apprentice, be mindful of the present. If, while considering the past, you become caught in the past, lost in the past, or enslaved by the past, then you...
The essence of data access in Cω - The power is in the dot! (2008)
Gavin Bierman, Erik Meijer, Wolfram Schulte
In this paper we describe the data access features of C#, an experimental programming language under development at Microsoft Research. C# targets distributed, data-intensive applications and...
1 Component-based programming and scripting support a style of rapid prototyping program development where reusable off-the-shelf software components
Haskell Server Pages Functional Programming and the Battle for the Middle Tier Abstract (2007)
Haskell Server Pages (HSP) provide an easy way to create dynamic web pages and simplify the task of building middle tier components. This article gives an overview of HSP from a programmer’s...
Abstract Lambada, Haskell as a better Java (2007)
The Lambada framework provides facilities for fluid interoperation between Haskell (currently both Hugs and GHC using non-Haskell98 extensions) and Java. Using Lambada, we can call Java methods from...
Abstract Parsec: A practical parser library (2007)
Despite the long list of publications on parser combinators, there does not yet exist a monadic parser combinator library that is applicable in real world situations. In particular naive...
What’s In a Name?.NET as a Component Framework (DRAFT) Abstract (2007)
Erik Meijer, Clemens Szyperski
In this paper, we analyze the challenges surrounding the problem of reuse and independent extensibility of software components beyond source sharing, relate them back to the development and...
Erik Meijer, Redmond Wa, John Gough
The functionality of the recently announced Microsoft.NET system is founded on the capabilities of the Common Language Infrastructure (CLI). Unlike some other recent systems based on virtual...
Advanced Functional Programming Examination Problem (2007)
Magnus Carlsson, Erik Meijer, Johan Jeuring
This course is being assessed by an unusual form of examination: a practical exercise. The object of the exercise is to show that you have learned to use lazy functional programming as a practical...
1 Monadic Parser Combinators (2007)
Graham Hutton, Graham Hutton, Erik Meijer, Erik Meijer
In functional programming, a popular approach to building recursive descent parsers is to model parsers as functions, and to define higher-order functions (or combinators) that implement grammar...
Revealing the X/O impedance mismatch (Changing lead into gold (2007)
Abstract. We take the term X/O impedance mismatch to describe the difficulty of the OO paradigm to accommodate XML processing by means of recasting it to typed OO programming. In particular, given...
Mappings make data processing go ’round — An inter-paradigmatic mapping tutorial (2006)
Abstract. Whatever programming paradigm for data processing we choose, data has the tendency to live on the other side or to eventually end up there. The major paradigms for data processing are...
Confessions of a used programming language salesman (getting the masses hooked on haskell (2006)
When considering the past or the future, dear apprentice, be mindful of the present. If, while considering the past, you become caught in the past, lost in the past, or enslaved by the past, then you...
Confessions of a used programming language salesman (getting the masses hooked on haskell (2006)
When considering the past or the future, dear apprentice, be mindful of the present. If, while considering the past, you become caught in the past, lost in the past, or enslaved by the past, then you...
Mappings make data processing go ’round — An inter-paradigmatic mapping tutorial (2006)
Abstract. Whatever programming paradigm for data processing we choose, data has the tendency to live on the other side or to eventually end up there. The major paradigms for data processing are...
Confessions of a used programming language salesman (getting the masses hooked on haskell (2006)
When considering the past or the future, dear apprentice, be mindful of the present. If, while considering the past, you become caught in the past, lost in the past, or enslaved by the past, then you...
Time Series Factor Analysis with an Application to Measuring Money (2005)
Gilbert, Paul D., Meijer, Erik
Time series factor analysis (TSFA) and its associated statistical theory is developed. Unlike dynamic factor analysis (DFA), TSFA obviates the need for explicitly modeling the process dynamics of the...
Iterators Revisited: Proof Rules and Implementation (2005)
Bart Jacobs Erik, Erik Meijer, Frank Piessens, Wolfram Schulte
The Iterator design pattern allows client code to access the elements of an aggregate object sequentially without exposing its underlying representation.
Programming with circles, triangles and rectangles (2003)
Erik Meijer, Wolfram Schulte, Gavin Bierman
This paper proposes extending popular object-oriented programming languages such as C#, VB or Java with native support for XML. In our approach XML documents or document fragments become first class...
Unifying tables, objects and documents (2003)
Erik Meijer, Wolfram Schulte, Gavin Bierman
Abstract. This paper proposes a number of type system and language extensions to natively support relational and hierarchical data within a statically typed object-oriented setting. In our approach...
Unifying tables, objects and documents (2003)
Abstract. This paper proposes a number of type-system and language extensions to natively support relational and hierarchical data within a statically typed object-oriented setting. In our approach...
Programming with circles, triangles and rectangles (2003)
Erik Meijer, Wolfram Schulte, Gavin Bierman
This paper proposes extending popular object-oriented programming languages such as C#, VB or Java with native support for XML. In our approach XML documents or document fragments become first class...
The essence of data access in cω: The power is in the dot (2002)
Gavin Bierman, Erik Meijer, Wolfram Schulte
Abstract. In this paper we describe the data access features of Cω, an experimental programming language based on C ♯ currently under development at Microsoft Research. Cω targets distributed,...
The essence of data access in cω: The power is in the dot (2002)
Gavin Bierman, Erik Meijer, Wolfram Schulte
Abstract. In this paper we describe the data access features of Cω, an experimental programming language based on C ♯ currently under development at Microsoft Research. Cω targets distributed,...
Parsec: Direct style monadic parser combinators for the real world (2001)
Despite the long list of publications on parser combinators, there does not yet exist a monadic parser combinator library that is applicable in real world situations. In particular naive...
Scripting .NET using Mondrian (2001)
Erik Meijer, Nigel Perry, Arjan Van Yzendoorn
Abstract. We introduce the design of Mondrian, a functional scripting language for glueing together components on the.NET platform. Mondrian is monadic statement centric with pure expressions and...
Record calculi use labels to distinguish between the elements of products and sums. This paper presents a novel variation, type-indexed rows, in which labels are discarded and the types of the...
Haskell Server Pages - Functional Programming and the Battle for the Middle Tier (2000)
Erik Meijer, Dannyy Van Velzen
Haskell Server Pages (HSP) provide an easy way to create dynamic web pages and simplify the task of building middle tier components. This article gives an overview of HSP from a programmer's...
Lambada, Haskell as a better Java (2000)
The Lambada framework provides facilities for uid interoperation between Haskell (currently both Hugs and GHC using non-Haskell98 extensions) and Java. Using Lambada, we can call Java methods from...
Implicit Parameters: Dynamic Scoping with Static Types (2000)
Je Rey Lewis, Jerey R. Lewis, Mark B. Shields, Erik Meijer, John Launchbury
This paper introduces a language feature, called implicit parameters, that provides dynamically scoped variables within a statically-typed Hindley-Milner framework. Implicit parameters are lexically...
Implicit Parameters: Dynamic Scoping with Static Types (Extended Abstract) (2000)
Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark B. Shields
Jerey R. Lewis John Launchbury Erik Meijer y Mark B. Shields Oregon Graduate Institute of Science & Technology y University of Utrecht Abstract This paper introduces a language extension, called...
XMlambda - A Functional Language for Constructing and Manipulating XML Documents (2000)
XML has been widely adopted as a standard language for describing static documents and data. However, many application domains require XML, and it's cousin HTML, to be ltered and generated...
Implicit Parameters: Dynamic Scoping with Static Types (2000)
Jeffrey R. Lewis, Mark B. Shields, Erik Meijer, John Launchbury
This paper introduces a language feature, called implicit parameters, that provides dynamically scoped variables within a statically-typed Hindley-Milner framework. Implicit parameters are lexically...
Technical overview of the common language runtime (2000)
(or why the JVM is not my favorite execution environment)
Calling hell from heaven and heaven from hell (1999)
Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon Peyton Jones
The increasing popularity of component-based programming tools offer a big opportunity to designers of advanced programming languages, such as Haskell. If we can package our programs as COM objects,...
John Hughes [editor, Lennart Augustsson, Dave Barton, Brian Boutel, Warren Burton, ...
for the
Domain Specific Embedded Compilers (1999)
Domain-specific embedded languages (DSELs) expressed in higher-order, typed (HOT) languages provide a composable framework for domain-specific abstractions. Such a framework is of greater utility...
Domain Specific Embedded Compilers (1999)
Domain-specific embedded languages (DSELs) expressed in higher-order, typed (HOT) languages provide a composable framework for domain-specific abstractions. Such a framework is of greater utility...
Haskell as an Automation Controller (1999)
Daan Leijen, Erik Meijer, James Hook
this paper we adopt style conventions that emphasize when we are dealing with effectful computations. Specifically, all expressions of type IO are written with an explicit do--. In the same vein,...
Client-side Web Scripting with HaskellScript (1999)
Erik Meijer, Daan Leijen, James Hook
. Client-side scripting and DHTML make it possible to build interactiveweb pages that don't need round-trips to the server for every user-event. The DHTML Object Model #DOM# makes everything in...
Report on the Programming Language (1999)
Purely Functional Language, John Hughes [editor, Lennart Augustsson, Dave Barton, ...
Proceedings of the 1999 Haskell Workshop (1999)
Erik Meijer (editor, Erik Meijer (editor, Koen Claessen (chalmers, Byron Cook (ogi, Sigbjorn Finne (glasgow, Colin Runciman (york, ...
The purpose of the workshop is to discuss experience with Haskell, and possible future developments of the language. The lively discussions at the 1997 Haskell Workshop in Amsterdam about the future...
Client-side Web Scripting with HaskellScript (1999)
Erik Meijer, Daan Leijen, James Hook
1 Introduction Since the introduction of the web there has been a constant migration of computational power from the server to the client. Server-side scripting using CGI [8] provides critical...
Monadic Parsing in Haskell (1998)
This paper is a tutorial on defining recursive descent parsers in Haskell. In the spirit of one-stop shopping, the paper combines material from three areas into a single source. The three areas are...
Monadic Parsing in Haskell (1998)
This paper is a tutorial on defining recursive descent parsers in Haskell. In the spirit of one-stop shopping, the paper combines material from three areas into a single source. The three areas are...
Scripting COM components in Haskell (1998)
Simon Peyton Jones, Erik Meijer, Daan Leijen
The expressiveness of higher-order, typed languages such as Haskell or ML makes them an attractive medium in which to write software components. Hitherto, however, their use has been limited by the...
H/Direct: a binary foreign language interface for Haskell (1998)
Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon Peyton Jones
H/Direct is a foreign-language interface for the purely functional language Haskell. Rather than rely on host-language type signatures, H/Direct compiles Interface Definition Language (IDL) to...
H/Direct: A Binary Foreign Language Interface for Haskell (1998)
Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon Peyton Jones
H/Direct is a foreign-language interface for the purely functional language Haskell. Rather than rely on host-language type signatures, H/Direct compiles Interface Definition Language (IDL) to...
H/Direct: A Binary Foreign Language Interface for Haskell (1998)
Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon Peyton Jones
H/Direct is a foreign-language interface for the purely functional language Haskell. Rather than rely on host-language type signatures, H/Direct compiles Interface Definition Language (IDL) to...
Monadic parsing in Haskell (1998)
This paper is a tutorial on defining recursive descent parsers in Haskell. In the spirit of one-stop shopping, the paper combines material from three areas into a single source. The three areas are...
Structuring Graphical Paradigms in TkGofer (1997)
Koen Claessen Ogi, Koen Claessen, Ton Vullinghs, Erik Meijer
In this paper we describe the implementation of several graphical programming paradigms (Model View Controller, Fudgets, and Functional Animations) using the GUI library TkGofer. This library relies...
Structuring Graphical Paradigms in TkGofer (1997)
Koen Claessen, Ton Vullinghs, Erik Meijer
In this paper we describe the implementation of several graphical programming paradigms (Model View Controller, Fudgets, and Functional Animations) using the GUI library TkGofer. This library relies...
The Design and Implementation of Mondrian (1997)
The Haskell dialect Mondrian is designed using the explicit philosophy of keeping things simple and consistent. Mondrian generalizes some of Haskell's (too) complex constructs, and adds a few...
Scripting COM components in Haskell (1997)
Simon Peyton, Erik Meijer, Daan Leijen
Designers of advanced languages, such as ML, Prolog, or Haskell, face an uphill struggle to persuade potential users of the merits of their approach. In fact, it has hitherto been impossible to find...
Type Classes: An Exploration of the Design Space (1997)
Simon Peyton Jones, Mark Jones, Erik Meijer
When type classes were first introduced in Haskell they were regarded as a fairly experimental language feature, and therefore warranted a fairly conservative design. Since that time, practical...
Henk: A Typed Intermediate Language (1997)
Simon Peyton Jones, Erik Meijer
There is growing interest in the use of richly-typed intermediate languages in sophisticated compilers for higher-order, typed source languages. These intermediate languages are typically stratified,...
Back to Basics: Deriving Representation Changers Functionally (1996)
Many functional programs can be viewed as representation changers, that is, as functions that convert abstract values from one concrete representation to another. Examples of such programs include...
Back to Basics: Deriving Representation Changers Functionally (1996)
Many functional programs can be viewed as representation changers, that is, as functions that convert abstract values from one concrete representation to another. Examples of such programs include...
Monadic Parser Combinators (1996)
In functional programming, a popular approach to building recursive descent parsers is to model parsers as functions, and to define higher-order functions (or combinators) that implement grammar...
Monadic Parser Combinators (1996)
Graham Hutton, Graham Hutton, Erik Meijer, Erik Meijer
In functional programming, a popular approach to building recursive descent parsers is to model parsers as functions, and to define higher-order functions (or combinators) that implement grammar...
Monadic Parser Combinators (1996)
Graham Hutton, Graham Hutton, Erik Meijer, Erik Meijer
In functional programming, a popular approach to building recursive descent parsers is to model parsers as functions, and to define higher-order functions (or combinators) that implement grammar...
Monadic Parser Combinators (1996)
Graham Hutton, Graham Hutton, Erik Meijer, Erik Meijer
In functional programming, a popular approach to building recursive descent parsers is to model parsers as functions, and to define higher-order functions (or combinators) that implement grammar...
Back to basics: Deriving representation changers functionally (1996)
value into a different concrete representation of that value. Many useful functions can be recognised as representation changers; examples include compilers, and arithmetic functions such as addition...
Monadic parser combinators (1996)
Graham Hutton, Graham Hutton, Erik Meijer, Erik Meijer
In functional programming, a popular approach to building recursive descent parsers is to model parsers as functions, and to define higher-order functions (or combinators) that implement grammar...
Monadic Parser Combinators (1996)
In functional programming, a popular approach to building recursive descent parsers is to model parsers as functions, and to define higher-order functions (or combinators) that implement grammar...
Bananas in space: Extending fold and unfold to exponential types (1995)
Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of functors, these...
Shortcut Deforestation in Calculational Form (1995)
In functional programming, intermediate data structures are often used to "glue" together small programs. Deforestation is a program transformation to remove these intermediate data...
Merging Monads and Folds for Functional Programming (1995)
. These notes discuss the simultaneous use of generalised fold operators and monads to structure functional programs. Generalised fold operators structure programs after the decomposition of the...
On the expressive power of constructor classes (1994)
The aim of this paper is to explore the expressive power of constructor classes, a generalisation of type classes. We present a categorical prelude for Gofer, a programming environment which supports...
A Translation from Attribute Grammars to Catamorphisms (1994)
Maarten Fokkinga, Johan Jeuring, Lambert Meertens, Erik Meijer
G has a simple form, so that the actual translation can be formulated without too many indices and the like. 1 . The context free grammar G determines a functor F . . Lemma T is a subset of the...
Back to Basics: Deriving Representation Changers Functionally (1993)
A representation changer is a function that converts a concrete representation of an abstract value into a different concrete representation of that value. Many useful functions can be recognised as...
More Advice on Proving a Compiler Correct: Improve a Correct Compiler (1993)
As an alternative to the classical approach to the compiler correctness problem where a given compiler is proved correct from scratch, we propose a method for deriving correct compilers from a...
Monadic Parsing in Haskell (1993)
This paper is a tutorial on defining recursive descent parsers in Haskell. In the spirit of one-stop shopping , the paper combines material from three areas into a single source. The three areas are...
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (1991)
Erik Meijer, Maarten Fokkinga, Ross Paterson
We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For these operators we derive various algebraic laws that are useful in...
Program Calculation Properties of Continuous Algebras (1991)
Maarten M Fokkinga, Erik Meijer
Defining data types as initial algebras, or dually as final co-algebras, is beneficial, if not indispensible, for an algebraic calculus for program construction, in view of the nice equational...
A Translation from Attribute Grammars to (1990)
Maarten Fokkinga, Johan Jeuring, Lambert Meertens, Erik Meijer
Let AG be an attribute grammar, with underlying context free grammar G and attribute evaluation rules A. The function that decorates —according to A — a parse tree with attribute values and then...
The authors introduce new measures of important underlying macroeconomic phenomena that affect the financial side of the economy. These measures are calculated using the time-series factor analysis...
Preferences for Housing, Jobs, and Commuting: A Mixed Logit Analysis
This paper reports stated preferences of Dutch workers for combinations of housing, employment, and commuting. The analysis uses standard logit models as well as mixed logit models. Estimation...
Computation of characteristics of value-of-time distributions and their standard errors
It is discussed how from some estimated bivariate distributions characteristics of the distribution of the ratio of the two random variables and standard errors thereof can be computed.
Time Series Factor Analysis with an Application to Measuring Money
Meijer, Erik, Gilbert, Paul D.
Time series factor analysis (TSFA) and its associated statistical theory is developed. Unlike dynamic factor analysis (DFA), TSFA obviates the need for explicitly modeling the process dynamics of the...
Measuring central bank independence: a latent variables approach
Jakob De Haan, Erik Leertouwer, Erik Meijer, Tom Wansbeek
We argue that central bank independence (CBI) is a latent variable of which the various existing quantifications are imperfect indicators. We show how factor analysis techniques can be employed to...
Measuring welfare effects in models with random coefficients
In economic research, it is often important to express the marginal value of a variable in monetary terms. In random coefficient models, this marginal monetary value is the ratio of two random...
The Sample Selection Model from a Method of Moments Perspective
It is shown how the usual two-step estimator for the standard sample selection model can be seen as a method of moments estimator. Standard GMM theory can be brought to bear on this model, greatly...
Erik Meijer, Susann Rohwedder, Tom Wansbeek
The authors study the prediction of latent variables in a finite mixture of linear structural equation models. The latent variables can be viewed as well-defined variables measured with error or as...
A Simple Identification Proof for a Mixture of Two Univariate Normal Distributions
Finite mixtures, Information matrix, Exponential family, Mixture regression,
Health Indexes and Retirement Modeling in International Comparisons
Erik Meijer, Arie Kapteyn, Tatiana Andreyeva
It is widely believed that health plays a major role in retirement decisions. The most important problem in including health in retirement models is the lack of availability of a good measure of...
Quadratic prediction of factor scores
factor scores, nonnormality, efficiency,