Security type error diagnosis for higher-order, polymorphic languages von Weijers, Jeroen, Hage, Jurriaan, Holdermans, Stefan

Volltext

Generic Views on Data Types von Holdermans, Stefan, Jeuring, Johan, Löh, Andres, Rodriguez, Alexey

Volltext

A lightweight approach to datatype-generic rewriting von VAN NOORT, THOMAS, RODRIGUEZ YAKUSHEV, ALEXEY, HOLDERMANS, STEFAN, JEURING, JOHAN, HEEREN, BASTIAAN, MAGALHÃES, JOSÉ PEDRO

Volltext

Dependently Typed Grammars von Brink, Kasper, Holdermans, Stefan, Löh, Andres

Volltext

Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators von Holdermans, Stefan, Hage, Jurriaan

Volltext

A generic usage analysis with subeffect qualifiers von Hage, Jurriaan, Holdermans, Stefan, Middelkoop, Arie

Volltext

Generic programming with fixed points for mutually recursive datatypes von Yakushev, Alexey Rodriguez, Holdermans, Stefan, Löh, Andres, Jeuring, Johan

Volltext

Report on the tenth ICFP programming contest von Dolstra, Eelco, Hage, Jurriaan, Heeren, Bastiaan, Holdermans, Stefan, Jeuring, Johan, Löh, Andres, Löh, Clara, Middelkoop, Arie, Rodriguez, Alexey, van Schie, John

Volltext