WorldCat Identities

Meijer, Erik

Overview
Works: 27 works in 110 publications in 3 languages and 1,933 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other, Author of introduction
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 )

13 editions published in 1996 in English and held by 287 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 )

18 editions published in 1995 in English and Italian and held by 249 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 179 WorldCat member libraries worldwide

Handbook of multilevel analysis by Jan de Leeuw( Book )

18 editions published in 2008 in English and held by 153 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 )

5 editions published in 1998 in English and held by 26 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 Maarten M Fokkinga( Book )

6 editions published in 1991 in English and held by 10 WorldCat member libraries worldwide

Abstract: "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 properties that then become available. It is not hard to render finite lists as an initial algebra and, dually, infinite lists as a final co- algebra. However, this would mean that there are two distinct data types for lists, and then a program that is applicable to both finite and infinite lists is not possible, and arbitrary recursive definitions are not allowed
Back to basics: deriving representations changers without relations by Graham Hutton( Book )

5 editions published in 1994 in English and held by 5 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."
Proceedings of the 1999 Haskell workshop Friday October 9th, 1999, Paris by Haskell Workshop( Book )

3 editions published in 1999 in English and held by 4 WorldCat member libraries worldwide

More advice on proving a compiler correct : improve a correct compiler by Erik Meijer( Book )

3 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."
Hazard algebra for asynchronous circuits by Erik Meijer( Book )

3 editions published in 1994 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

M/V verschil in voorwaarden voor geluk: een meta-analyse by Erik Meijer( Book )

1 edition published in 2012 in Dutch and held by 1 WorldCat member library worldwide

De binnenstad centraal : een studie naar de veranderende positie van een Amsterdams stadsdeel in het licht vancompacte stad en zonering by Erik Meijer( Book )

1 edition published in 1985 in Dutch and held by 1 WorldCat member library worldwide

Op weg naar gratis openbaar vervoer in Maastricht by Erik Th. M Meijer( Book )

1 edition published in 1976 in Dutch and held by 1 WorldCat member library worldwide

Linkse partijen komen en gaan, maar de strijd voor het socialisme blijft altijd bestaan by Erik Meijer( Book )

1 edition published in 1996 in Dutch and held by 1 WorldCat member library worldwide

Een neger uijt Curaçao, een overlevering opgefrist by Erik Meijer( Book )

1 edition published in 1994 in Dutch and held by 1 WorldCat member library worldwide

Estimates of potential eligibility for low-income subsidies under Medicare part D by Erik Meijer( )

1 edition published in 2009 in English and held by 0 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
Representativeness of the low-income population in the health and retirement study by Erik Meijer( )

1 edition published in 2013 in English and held by 0 WorldCat member libraries worldwide

We study to what extent the Health and Retirement Study (HRS) is representative of all income groups, but with a particular emphasis on low-income groups. To focus on the HRS sample composition and abstract from potential measurement issues associated with measures of income and program participation, we exploit the SSA administrative data matched to the HRS sample and compare their distribution against the distribution of the same variables for the same population in the SSA databases. We find that overall, for cohorts and years that can be most reliably compared, the distributions are very similar and conclude that the HRS is representative for the population it covers. However, for some subgroups in the low-income population (e.g., recipients of Supplemental Security Income, Medicaid beneficiaries), there are some differences and thus we caution against estimating population totals for such small subpopulations. The HRS samples for which restricted matched administrative data are available are often not representative of a broad population of interest, because not all HRS respondents were asked permission to match in any given year. Therefore, the restricted HRS data files are generally not suitable for estimating population distributions, although they are still very useful for modeling purposes
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.64 (from 0.14 for Een neger ... to 0.96 for De binnens ...)

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

Erik Meijer Dutch computer scientist

Meijer, Henricus Johannes Maria

Meijer, Henricus Johannes Maria 1963-

에리크 마이어

エリック・マイヤー

Languages
English (95)

Dutch (5)

Italian (1)

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 analysis