Concepedia

Arie Middelkoop

AM

Statistics

Publications

3

Citations

46

H-Index

3

Active since

2007

Affiliations

Utrecht University(Current)

Arie Middelkoop is an author at Utrecht University specializing in computer science, engineering, and formal methods.

Top concepts

Publications per year

2007–2010

3

Publications

3

A generic usage analysis with subeffect qualifiers

Jurriaan Hage, Stefan Holdermans, Arie Middelkoop · 2007 · 21 citations

, , +20

Iterative type inference with attribute grammars

Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra · 2010 · 14 citations

, , +18

Brief announcement

Annette Bieniusa, Arie Middelkoop, Peter Thiemann · 2010 · 11 citations

, , +10

1–3 of 3