Meijer, Erik 1963
Overview
Works:  37 works in 111 publications in 2 languages and 1,790 library holdings 

Genres:  Conference papers and proceedings 
Roles:  Author, Editor, Other 
Classifications:  QA76.62, 005.11 
Publication Timeline
.
Most widely held works by
Erik Meijer
Advanced functional programming : second international school, Olympia, WA, USA, August 2630, 1996 : tutorial text by
John Launchbury(
Book
)
10 editions published in 1996 in English and held by 308 WorldCat member libraries worldwide
"This book presents the eight tutorial lectures given at the Second International School on Advanced Functional Programming, held in Olympia, WA, USA, in August 1996. After many years of development, functional programming languages have matured to a point where they can be used for much larger applications than has been typical in the past. These tutorial notes have been written for students and professionals in software engineering who are interested in exploring beyond the elementary concepts of functional programming and in progressing towards largescale programming and structured software."PUBLISHER'S WEBSITE
10 editions published in 1996 in English and held by 308 WorldCat member libraries worldwide
"This book presents the eight tutorial lectures given at the Second International School on Advanced Functional Programming, held in Olympia, WA, USA, in August 1996. After many years of development, functional programming languages have matured to a point where they can be used for much larger applications than has been typical in the past. These tutorial notes have been written for students and professionals in software engineering who are interested in exploring beyond the elementary concepts of functional programming and in progressing towards largescale programming and structured software."PUBLISHER'S WEBSITE
Advanced functional programming : first International Spring School on Advanced Functional Programming Techniques, Båstad,
Sweden, May 2430, 1995 : tutorial text by
Johan Jeuring(
Book
)
12 editions published in 1995 in English and held by 270 WorldCat member libraries worldwide
This volume presents the tutorials given during the First International Spring School on Advanced Functional Programming Techniques, held in Bastad, Sweden in May 1995. The last few years have seen important new developments in functional programming techniques: concepts, such as monads, type classes, and several new special purpose libraries of higherorder functions are new and powerful methods for structuring programs. This book brings programmers, software engineers and computer scientists uptodate with the latest techniques. Most tutorial contributions contain exercises to familiarize the reader with the new concepts and techniques, and only basic knowledge in functional programming is assumed
12 editions published in 1995 in English and held by 270 WorldCat member libraries worldwide
This volume presents the tutorials given during the First International Spring School on Advanced Functional Programming Techniques, held in Bastad, Sweden in May 1995. The last few years have seen important new developments in functional programming techniques: concepts, such as monads, type classes, and several new special purpose libraries of higherorder functions are new and powerful methods for structuring programs. This book brings programmers, software engineers and computer scientists uptodate with the latest techniques. Most tutorial contributions contain exercises to familiarize the reader with the new concepts and techniques, and only basic knowledge in functional programming is assumed
Measurement error and latent variables in econometrics by
Tom J Wansbeek(
Book
)
10 editions published between 2000 and 2006 in English and held by 176 WorldCat member libraries worldwide
10 editions published between 2000 and 2006 in English and held by 176 WorldCat member libraries worldwide
Handbook of multilevel analysis by
Jan de Leeuw(
Book
)
19 editions published in 2008 in English and held by 138 WorldCat member libraries worldwide
Multilevel analysis is the statistical analysis of hierarchically and nonhierarchically nested data. Multilevel data are especially prevalent in the social and behavioral sciences and in the biomedical sciences. This book presents the state of the art in multilevel analysis, with an emphasis on more advanced topics
19 editions published in 2008 in English and held by 138 WorldCat member libraries worldwide
Multilevel analysis is the statistical analysis of hierarchically and nonhierarchically nested data. Multilevel data are especially prevalent in the social and behavioral sciences and in the biomedical sciences. This book presents the state of the art in multilevel analysis, with an emphasis on more advanced topics
Structural equation models for nonnormal data by
Erik Meijer(
Book
)
6 editions published in 1998 in English and held by 40 WorldCat member libraries worldwide
6 editions published in 1998 in English and held by 40 WorldCat member libraries worldwide
Calculating compilers by
Erik Meijer(
Book
)
5 editions published in 1992 in English and Undetermined and held by 16 WorldCat member libraries worldwide
5 editions published in 1992 in English and Undetermined and held by 16 WorldCat member libraries worldwide
Characterization of some technically important defects in semiconductors by
Erik Meijer(
Book
)
4 editions published in 1982 in English and held by 12 WorldCat member libraries worldwide
4 editions published in 1982 in English and held by 12 WorldCat member libraries worldwide
Program calculation properties of continuous algebras by
M. M Fokkinga(
Book
)
3 editions published in 1991 in English and held by 7 WorldCat member libraries worldwide
We prove the existence of algebras that are both initial in one category of algebras and final in the closely related category of co algebras, and for which arbitrary (continuous) fixed point definitions ('recursions') do have a solution. Thus there is a single data type that comprises both the finite and the infinite lists. The price to be paid, however, is that partiality (of functions and values) is unavoidable. We derive, for any such data type, various laws that are useful for an algebraic calculus of programs."
3 editions published in 1991 in English and held by 7 WorldCat member libraries worldwide
We prove the existence of algebras that are both initial in one category of algebras and final in the closely related category of co algebras, and for which arbitrary (continuous) fixed point definitions ('recursions') do have a solution. Thus there is a single data type that comprises both the finite and the infinite lists. The price to be paid, however, is that partiality (of functions and values) is unavoidable. We derive, for any such data type, various laws that are useful for an algebraic calculus of programs."
Money and credit factors by
Paul Douglas Gilbert(
Book
)
3 editions published in 2006 in English and held by 4 WorldCat member libraries worldwide
The authors introduce new measures of important underlying macroeconomic phenomena that affect the financial side of the economy. These measures are calculated using the timeseries factor analysis (TSFA) methodology introduced in Gilbert and Meijer (2005). The measures appear to be both more interesting and more robust to the effects of financial innovations than traditional aggregates. The general ideas set out in Gilbert and Pichette (2003) are pursued, but the improved estimation methods of TSFA are used. Furthermore, four credit aggregates are added to the components of the monetary aggregates, resulting in the possibility of extracting more common factors. This extended data set gives a fairly complete picture of the asset and liability sides of the economy. As might be expected, credit data are largely explained by the same factor that explains investment (since investment provides the capital for credit). Contrary to traditional thinking about monetary aggregates, however, personal chequing deposits do not behave like currency, and thus require a separate factor to explain them. The factor explaining currency reflects current spending, traditionally considered transactions money . One interpretation of the factor explaining personal chequing deposits is that it represents potential spending. This may reflect different horizon planning by the same consumers, or it may reflect different consumers with varying spending habits or financial constraints. These conjectures remain subjects for future research
3 editions published in 2006 in English and held by 4 WorldCat member libraries worldwide
The authors introduce new measures of important underlying macroeconomic phenomena that affect the financial side of the economy. These measures are calculated using the timeseries factor analysis (TSFA) methodology introduced in Gilbert and Meijer (2005). The measures appear to be both more interesting and more robust to the effects of financial innovations than traditional aggregates. The general ideas set out in Gilbert and Pichette (2003) are pursued, but the improved estimation methods of TSFA are used. Furthermore, four credit aggregates are added to the components of the monetary aggregates, resulting in the possibility of extracting more common factors. This extended data set gives a fairly complete picture of the asset and liability sides of the economy. As might be expected, credit data are largely explained by the same factor that explains investment (since investment provides the capital for credit). Contrary to traditional thinking about monetary aggregates, however, personal chequing deposits do not behave like currency, and thus require a separate factor to explain them. The factor explaining currency reflects current spending, traditionally considered transactions money . One interpretation of the factor explaining personal chequing deposits is that it represents potential spending. This may reflect different horizon planning by the same consumers, or it may reflect different consumers with varying spending habits or financial constraints. These conjectures remain subjects for future research
Estimates of potential eligibility for lowincome subsidies under Medicare part D by
Erik Meijer(
Book
)
1 edition published in 2009 in English and held by 4 WorldCat member libraries worldwide
The 2003 Medicare Prescription Drug Improvement and Modernization Act (Pub. L. No. 108173) added a new prescription drug benefit to the Medicare program known as Part D (prescription drug coverage), as well as the LowIncome Subsidy (LIS) program to provide "extra help" with premiums, deductibles, and copayments for Medicare Part D beneficiaries with low income and limited assets. This analysis was designed to provide an independent estimate of the LISeligible population as of 2006, to examine the robustness of the estimate against alternative assumptions and estimation methods, to examine the characteristics of the LISeligible population, and to project the size of the LISeligible population to 2008. An estimated 12 million persons, or 29 percent of Medicare beneficiaries, were potentially eligible for the LIS in 2006 and most were eligible for the full subsidy. The eligibility rate is higher for the underage65 population and for those in nursing homes. There is considerable uncertainty around the estimated number of LIS eligibles, however, due to differences in the two main data sources employed, the Survey of Income and Program Participation and the Health and Retirement Study
1 edition published in 2009 in English and held by 4 WorldCat member libraries worldwide
The 2003 Medicare Prescription Drug Improvement and Modernization Act (Pub. L. No. 108173) added a new prescription drug benefit to the Medicare program known as Part D (prescription drug coverage), as well as the LowIncome Subsidy (LIS) program to provide "extra help" with premiums, deductibles, and copayments for Medicare Part D beneficiaries with low income and limited assets. This analysis was designed to provide an independent estimate of the LISeligible population as of 2006, to examine the robustness of the estimate against alternative assumptions and estimation methods, to examine the characteristics of the LISeligible population, and to project the size of the LISeligible population to 2008. An estimated 12 million persons, or 29 percent of Medicare beneficiaries, were potentially eligible for the LIS in 2006 and most were eligible for the full subsidy. The eligibility rate is higher for the underage65 population and for those in nursing homes. There is considerable uncertainty around the estimated number of LIS eligibles, however, due to differences in the two main data sources employed, the Survey of Income and Program Participation and the Health and Retirement Study
Back to basics: deriving representations changers without relations by
Graham Hutton(
Book
)
3 editions published in 1994 in English and held by 4 WorldCat member libraries worldwide
Abstract: "A representation changer is a function that can be specified in a particular way in terms of two other functions. Examples of representation changers include binary addition and multiplication, base conversion, and compilers. There has been much recent work in using a relational language, namely Jones and Sheerans' Ruby, to derive representation changers from their specifications using equational reasoning. In this paper we show that by beginning with a slightly less intuitive form of specification, the use of relations can be avoided, and representation changers can be derived within the simpler framework of functional programming. Moreover, our techniques can be applied to derive a carrysave adder, a representation changer that has not yet been derived in Ruby without the aid of informal reasoning."
3 editions published in 1994 in English and held by 4 WorldCat member libraries worldwide
Abstract: "A representation changer is a function that can be specified in a particular way in terms of two other functions. Examples of representation changers include binary addition and multiplication, base conversion, and compilers. There has been much recent work in using a relational language, namely Jones and Sheerans' Ruby, to derive representation changers from their specifications using equational reasoning. In this paper we show that by beginning with a slightly less intuitive form of specification, the use of relations can be avoided, and representation changers can be derived within the simpler framework of functional programming. Moreover, our techniques can be applied to derive a carrysave adder, a representation changer that has not yet been derived in Ruby without the aid of informal reasoning."
Computation of characteristics of valueoftime distributions and their standard errors by
Erik Meijer(
Book
)
2 editions published in 2004 in English and held by 3 WorldCat member libraries worldwide
2 editions published in 2004 in English and held by 3 WorldCat member libraries worldwide
Advanced functional programming : tutorial text(
Book
)
3 editions published in 1996 in English and held by 3 WorldCat member libraries worldwide
3 editions published in 1996 in English and held by 3 WorldCat member libraries worldwide
Proceedings of the 1999 Haskell workshop Friday October 9th, 1999, Paris by Haskell Workshop(
Book
)
1 edition published in 1999 in English and held by 3 WorldCat member libraries worldwide
1 edition published in 1999 in English and held by 3 WorldCat member libraries worldwide
'Generalized expression' evaluation by
Erik Meijer(
Book
)
3 editions published in 1988 in English and Undetermined and held by 3 WorldCat member libraries worldwide
3 editions published in 1988 in English and Undetermined and held by 3 WorldCat member libraries worldwide
Advanced functional programming : First International Spring School on Advanced Functional Programming Techniques Båstad,
Sweden, May 1995 ; tutorial text by International Spring School on Advanced Functional Programming Techniques(
Book
)
3 editions published in 1995 in English and Italian and held by 3 WorldCat member libraries worldwide
3 editions published in 1995 in English and Italian and held by 3 WorldCat member libraries worldwide
Hazard algebra for asynchronous circuits by
Erik Meijer(
Book
)
2 editions published in 1994 in English and held by 3 WorldCat member libraries worldwide
2 editions published in 1994 in English and held by 3 WorldCat member libraries worldwide
More advice on proving a compiler correct : improve a correct compiler by
Erik Meijer(
Book
)
2 editions published in 1994 in English and held by 3 WorldCat member libraries worldwide
Abstract: "Pragmatically speaking, a denotational semantics for a programming language L is just an interpreter M̲ [is an element of] L > M for L written in a functional meta language. When such an interpreter is written in a catamorphic, or compositional, style, it is possible to factor it automatically into a compiler from the original source language L into a new target language T and a residual interpreter for T. Moreover given a homomorphism e [is an element of] M > U from the semantic domain M into another domain U, the fusion law yields a new catamorphic interpreter [formula]. This new interpreter can in turn be factored into a compiler and a residual interpreter. The game we want to play then is to transform an initial abstract interpreter that only tells what the source language means into a final concrete interpreter that tells how program denotations are computed, via a chain of efficiency improving homomorphisms, knowing that along the way each intermediate interpreter can be turned into a compiler. Hence we have reduced the compiler correctness problem into a functional programming problem. As an example a compiler is derived for a simple imperative language with first order procedures that generates conventional three address code."
2 editions published in 1994 in English and held by 3 WorldCat member libraries worldwide
Abstract: "Pragmatically speaking, a denotational semantics for a programming language L is just an interpreter M̲ [is an element of] L > M for L written in a functional meta language. When such an interpreter is written in a catamorphic, or compositional, style, it is possible to factor it automatically into a compiler from the original source language L into a new target language T and a residual interpreter for T. Moreover given a homomorphism e [is an element of] M > U from the semantic domain M into another domain U, the fusion law yields a new catamorphic interpreter [formula]. This new interpreter can in turn be factored into a compiler and a residual interpreter. The game we want to play then is to transform an initial abstract interpreter that only tells what the source language means into a final concrete interpreter that tells how program denotations are computed, via a chain of efficiency improving homomorphisms, knowing that along the way each intermediate interpreter can be turned into a compiler. Hence we have reduced the compiler correctness problem into a functional programming problem. As an example a compiler is derived for a simple imperative language with first order procedures that generates conventional three address code."
Consistent estimation of linear panel data models with measurement error by
Erik Meijer(
)
1 edition published in 2015 in English and held by 2 WorldCat member libraries worldwide
Measurement error causes a downward bias when estimating a panel data linear regression model. The panel data context offers various opportunities to derive moment conditions that result in consistent GMM estimators. We consider three sources of moment conditions: (i) restrictions on the intertemporal covariance matrix of the errors in the equations, (ii) heteroskedasticity and nonlinearity in the relation between the errorridden covariate and another, errorfree, covariate in the equation, and (iii) nonzero third moments of the covariates. In a simulation study we show that these approaches work well
1 edition published in 2015 in English and held by 2 WorldCat member libraries worldwide
Measurement error causes a downward bias when estimating a panel data linear regression model. The panel data context offers various opportunities to derive moment conditions that result in consistent GMM estimators. We consider three sources of moment conditions: (i) restrictions on the intertemporal covariance matrix of the errors in the equations, (ii) heteroskedasticity and nonlinearity in the relation between the errorridden covariate and another, errorfree, covariate in the equation, and (iii) nonzero third moments of the covariates. In a simulation study we show that these approaches work well
Time series factor analysis with an application to measuring money by Paul D Gilbert(
)
1 edition published in 2005 in English and held by 0 WorldCat member libraries worldwide
1 edition published in 2005 in English and held by 0 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Leeuw, Jan de Author Editor
 Sheard, T. (Tim) Other Editor
 Launchbury, John Other Author Editor
 Jeuring, Johan 1965 Other Author Editor
 Wansbeek, Tom J. Author
 Goldstein, Harvey
 De LeeuwMeijer ...
 Fokkinga, Maarten M. Author
 Karoly, Lynn A. 1961
 Gilbert, Paul Douglas Author
Useful Links
Associated Subjects
Asynchronous circuits Compilers (Computer programs) Compiling (Electronic computers) Computer architecture Computer programming Computer science Econometric models Econometrics Economic forecasting Epidemiology Functional programming (Computer science) Functional programming languages Latent variables Mathematical statistics Medicare beneficiaries Medicare Prescription Drug, Improvement, and Modernization Act of 2003 (United States) Multilevel models (Statistics) Multivariate analysis Nonparametric statistics Pharmaceutical services insurance PoorPharmaceutical assistance Programming languages (Electronic computers) Psychometrics Regression analysis Social sciencesMethodology Social sciencesResearchMathematical models Social sciencesStatistical methods Software engineering Statistics United States