WorldCat Identities

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 26-30, 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 large-scale programming and structured software."--PUBLISHER'S WEBSITE
Advanced functional programming : first International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 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 higher-order functions are new and powerful methods for structuring programs. This book brings programmers, software engineers and computer scientists up-to-date 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

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 non-hierarchically nested data. Multilevel data are especially prevalent in the social and behavioral sciences and in the bio-medical 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

Calculating compilers by Erik Meijer( Book )

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

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."
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 time-series 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 low-income 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. 108-173) added a new prescription drug benefit to the Medicare program known as Part D (prescription drug coverage), as well as the Low-Income 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 LIS-eligible population as of 2006, to examine the robustness of the estimate against alternative assumptions and estimation methods, to examine the characteristics of the LIS-eligible population, and to project the size of the LIS-eligible 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 under-age-65 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 carry-save adder, a representation changer that has not yet been derived in Ruby without the aid of informal reasoning."
Computation of characteristics of value-of-time distributions and their standard errors by Erik Meijer( Book )

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

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

'Generalized expression' evaluation by Erik Meijer( Book )

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

Hazard algebra for asynchronous circuits by Erik Meijer( Book )

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."
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 error-ridden covariate and another, error-free, 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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.66 (from 0.41 for Handbook o ... to 0.97 for Consistent ...)

Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial textAdvanced functional programming : tutorial text
Alternative Names
Erik 1963-

Erik Meijer Dutch computer scientist

Meijer, Henricus Johannes Maria

Meijer, Henricus Johannes Maria 1963-

에리크 마이어

Languages
Covers
Advanced functional programming : first International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial textMeasurement error and latent variables in econometricsHandbook of multilevel analysisAdvanced functional programming : tutorial textAdvanced functional programming : First International Spring School on Advanced Functional Programming Techniques Båstad, Sweden, May 1995 ; tutorial text