Arie Middelkoop
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2007–2012
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | PADL | The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars. | Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra |
| 2010 | GPCE | Iterative type inference with attribute grammars. | Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra |
| 2010 | PODC | Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair. | Annette Bieniusa, Arie Middelkoop, Peter Thiemann |
| 2008 | ICFP | Report on the tenth ICFP programming contest. | Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Lh, Clara Lh, Arie Middelkoop, Alexey Rodriguez, John van Schie |
| 2007 | ICFP | A generic usage analysis with subeffect qualifiers. | Jurriaan Hage, Stefan Holdermans, Arie Middelkoop |