If you made any changes in Pure these will be visible here soon.

Student theses

$\Gamma \vdash M : ? , \Gamma \vdash M : \tau ?, \Gamma \vdash ? : \tau$ or synthesis of types and terms for typed lambda calculi

Author: van Dommelen, R., 31 Aug 1992

Supervisor: Hemerik, C. (Supervisor 1) & Poll, E. (Supervisor 2)

Student thesis: Master

Acceptor algoritmen voor reguliere talen

Author: Geelen, J., 31 Jan 1988

Supervisor: Hemerik, C. (Supervisor 1)

Student thesis: Master

A graphical user interface for the proof assistant yarrow

Author: Raijmakers, E., 31 Aug 1999

Supervisor: Hemerik, C. (Supervisor 1) & Zwanenburg, J. (External person) (Supervisor 2)

Student thesis: Master

A hierarchy of general parser algorithms

Author: de Visser, P., 31 Oct 1989

Supervisor: Hemerik, C. (Supervisor 1) & Zwaan, G. (Supervisor 2)

Student thesis: Master

Algebraische beschrijving en implementatie van een circuit-compiler

Author: Peeters, E., 31 Aug 1990

Supervisor: Hemerik, C. (Supervisor 1) & Mak, R. (Supervisor 2)

Student thesis: Master

A mathematical framework for image construction in syntax-directed editors

Author: de Deugd, C. M., 30 Apr 1992

Supervisor: Hemerik, C. (Supervisor 1) & Zwaan, G. (Supervisor 2)

Student thesis: Master

An evaluation of object-oriented languages for DEDOS/Deal

Author: Koopmans, M., 31 Aug 1996

Supervisor: Hammer, D. (Supervisor 1) & Hemerik, C. (Supervisor 2)

Student thesis: Master

An integrated scanner framework for the Borland Delphi IDE

Author: van Zutven, P., 30 Nov 2005

Supervisor: Hemerik, C. (Supervisor 1) & Zwaan, G. (Supervisor 2)

Student thesis: Master

File

A parsing method for natural language queries

Author: Verbakel, J., 30 Nov 1985

Supervisor: Kruseman Aretz, F. (Supervisor 1), Hemerik, C. (Supervisor 2) & Brock, de, E. (External person) (Supervisor 2)

Student thesis: Master

A proof assistant based on terms with binding structures

Author: Smeijers, F., 31 Aug 2009

Supervisor: Hemerik, C. (Supervisor 1) & Franssen, M. (Supervisor 2)

Student thesis: Master

File

Architext : a machine description language for a simulator generator

Author: van Oort, D., 30 Jun 2002

Supervisor: Hemerik, C. (Supervisor 1)

Student thesis: Master

File

A taxonomy of Lempel-Ziv compression algorithms

Author: Kouwenberg, J., 31 Aug 2003

Supervisor: Hemerik, C. (Supervisor 1)

Student thesis: Master

File

A translator for AUTOMATH and its implementation in PASCAL

Author: Braun, W., 29 Feb 1984

Supervisor: de Bruijn, N. (. (Supervisor 1), Benthem Jutting, van, L. (External person) (Supervisor 2) & Hemerik, C. (Supervisor 2)

Student thesis: Master

Code generation for RISC machines

Author: Yedema, W., 31 Aug 2006

Supervisor: Hemerik, C. (Supervisor 1) & Augusteijn, A. (External person) (Supervisor 2)

Student thesis: Master

File

Code generation with attributed tree grammars

Author: van Helvoort, M., 31 Jan 1990

Supervisor: Hemerik, C. (Supervisor 1)

Student thesis: Master

Componenten voor het genereren van attribuutevaluatoren

Author: Bindels, M., 31 Aug 1998

Supervisor: Hemerik, C. (Supervisor 1)

Student thesis: Master

De systematische afleiding van acceptoren en ontleders voor boom-grammatica's

Author: van Dinther, Y., 30 Sep 1987

Supervisor: Hemerik, C. (Supervisor 1) & Bos, R. (External person) (Supervisor 2)

Student thesis: Master

Development of a mathematical article browser based on type theory

Author: Albers, F., 31 Jul 1999

Supervisor: Hemerik, C. (Supervisor 1) & Geuvers, J. (Supervisor 2)

Student thesis: Master

Een afleiding van acceptor algoritmen voor contextvrije talen

Author: Poll, E., 30 Apr 1990

Supervisor: Hemerik, C. (Supervisor 1) & Zwaan, G. (Supervisor 2)

Student thesis: Master

Een fouten verbeterende parser voor "natuurlijke" taal

Author: Verhaar, V., 31 May 1986

Supervisor: Kruseman Aretz, F. (Supervisor 1), Rem, M. (Supervisor 2) & Hemerik, C. (Supervisor 2)

Student thesis: Master

Een implementatie van Concurrent Pascal m.b.v. de processen uit CP1700

Author: Teeuwen, G., 31 Aug 1980

Supervisor: Kruseman Aretz, F. (Supervisor 1) & Hemerik, C. (Supervisor 2)

Student thesis: Master

Een interactieve draagpunteditor voor BSpline-oppervlakken

Author: Fugers, H., 1 Feb 1987

Supervisor: van der Wolf, A. (Supervisor 1), Hemerik, C. (Supervisor 2), Hijink, J. (Supervisor 2) & van Overveld, C. (Supervisor 2)

Student thesis: Master

Een methode voor het bepalen van de typeerbare expressies in het SPICOS systeem

Author: Ketelaar, A., 30 Jun 1989

Supervisor: Hemerik, C. (Supervisor 1) & ten Eikelder, H. (Supervisor 2)

Student thesis: Master

Een parsing algoritme voor boomgrammatica's

Author: van de Meerakker, H., 31 May 1988

Supervisor: Hemerik, C. (Supervisor 1)

Student thesis: Master

Een systeem voor het genereren van compilerkomponenten

Author: Gelderblom, R., 31 Aug 1995

Supervisor: Hemerik, C. (Supervisor 1) & Zwaan, G. (Supervisor 2)

Student thesis: Master

Een systematische afleiding van een reductiemachine voor taalexperimenten

Author: de Wit, B., 31 May 1988

Supervisor: Hemerik, C. (Supervisor 1)

Student thesis: Master

Explicit substitution in two versions of typed lambda calculus

Author: van Horssen, J., 30 Apr 1992

Supervisor: Nederpelt Lazarom, R. (Supervisor 1) & Hemerik, C. (Supervisor 2)

Student thesis: Master

ForestFIRE and FIREWood: a toolkit and GUI for tree algorithms

Author: Strolenberg, R., 30 Jun 2007

Supervisor: Cleophas, L. (Supervisor 1) & Hemerik, C. (Supervisor 2)

Student thesis: Master

File

From sigma-algebras to template classes : a structure editor with multiple views

Author: Lyppens, H., 30 Apr 1995

Supervisor: Hemerik, C. (Supervisor 1) & Watson, B. (Supervisor 2)

Student thesis: Master

Functional design patterns: de implementatie van model-gedreven functionaliteit in een object georiënteerde omgeving

Author: van Montfort, J., 31 Aug 2006

Supervisor: Hemerik, C. (Supervisor 1) & Snijders, J. (External person) (Supervisor 2)

Student thesis: Master

File

Generalization and classification of type inference algorithms

Author: de Vet, A., 30 Jun 1990

Supervisor: Hemerik, C. (Supervisor 1) & ten Eikelder, H. (Supervisor 2)

Student thesis: Master

Implementatie van een framework voor structuur-editors voor Microsoft Windows

Author: de Jong, R., 31 Dec 1997

Supervisor: Hemerik, C. (Supervisor 1) & Zwaan, G. (Supervisor 2)

Student thesis: Master

Implementatie van een tableaubewijzer

Author: van Driel, T., 31 Oct 1999

Supervisor: Hemerik, C. (Supervisor 1) & Franssen, M. (Supervisor 2)

Student thesis: Master

Instruction selection on directed acyclic graphs

Author: Bruns, R., 31 Jul 2007

Supervisor: Augusteijn, A. (External person) (Supervisor 1) & Hemerik, C. (Supervisor 2)

Student thesis: Master

File

Layoutalgoritmen voor syntaxgestuurde editors

Author: Roelen, A., 31 Aug 1994

Supervisor: Hemerik, C. (Supervisor 1) & Zwaan, G. (Supervisor 2)

Student thesis: Master

Objectgeorienteerde implementatie van een syntaxgestuurde editor met meervoudige representaties

Author: van Hees, M. & Jutten, M., 30 Nov 1994

Supervisor: Hemerik, C. (Supervisor 1), Zwaan, G. (Supervisor 2) & Watson, B. (Supervisor 2)

Student thesis: Master

Object-oriented compiler construction

Author: Meulendijks, S., 31 Oct 1996

Supervisor: Hemerik, C. (Supervisor 1) & Zwaan, G. (Supervisor 2)

Student thesis: Master

On adding binding structures and annotations to abstract syntax trees

Author: Tels, B., 30 Nov 2002

Supervisor: Hemerik, C. (Supervisor 1)

Student thesis: Master

File

On a systematic derivation of attribute evaluation algorithms

Author: Marcelis, A., 31 Jul 1987

Supervisor: Kruseman Aretz, F. (Supervisor 1) & Hemerik, C. (Supervisor 2)

Student thesis: Master

Onderzoek naar een logica voor programmeertaal-constructies gebaseerd op getypeerde lambda-calculus

Author: van Engelen, H., 30 Apr 1990

Supervisor: Hemerik, C. (Supervisor 1) & ten Eikelder, H. (Supervisor 2)

Student thesis: Master

Onderzoek naar implementatiemogelijkheden van interactieve documenten

Author: Bakker, B. & de Jong, G., 31 Oct 1997

Supervisor: Hemerik, C. (Supervisor 1), Zwaan, G. (Supervisor 2), Geuvers, J. (Supervisor 2) & Oostdijk, M. (External person) (Supervisor 2)

Student thesis: Master

On the design of a language for the CP1700-project

Author: Schaminée, J., 31 Aug 1981

Supervisor: Kruseman Aretz, F. (Supervisor 1) & Hemerik, C. (Supervisor 2)

Student thesis: Master

Oorsprong van de typentheorie

Author: Peeters, R., 31 Aug 1992

Supervisor: Nederpelt Lazarom, R. (Supervisor 1), Hemerik, C. (Supervisor 2) & Borghuis, V. (Supervisor 2)

Student thesis: Master

Some relations between operational and denotational semantics of a typed lambda calculus

Author: Struik, M., 31 May 1988

Supervisor: Hemerik, C. (Supervisor 1) & ten Eikelder, H. (Supervisor 2)

Student thesis: Master

Structuurediting met gebonden variabelen

Author: Schepers, P., 30 Apr 1997

Supervisor: Nederpelt Lazarom, R. (Supervisor 1) & Hemerik, C. (Supervisor 2)

Student thesis: Master

Syntax-gestuurde editors voor getypeerde Lambda-termen

Author: Harte, M., 30 Jun 1994

Supervisor: Hemerik, C. (Supervisor 1) & Poll, E. (Supervisor 2)

Student thesis: Master

Talen beschreven door reguliere expressies met recursie : taaltheoretische eigenschappen en acceptoren

Author: van Linder, M., 30 Jun 1988

Supervisor: Hemerik, C. (Supervisor 1) & ten Eikelder, H. (Supervisor 2)

Student thesis: Master

The history of the ALGOL effort

Author: de Beer, H., 2006

Supervisor: Hemerik, C. (Supervisor 1) & Royakkers, L. (Supervisor 2)

Student thesis: Master

File

Theory and implementation of a family of parser components

Author: Keim, E., 31 Aug 2007

Supervisor: Hemerik, C. (Supervisor 1)

Student thesis: Master

File

Towards a publication style of functional programming

Author: Peeters, D., 31 Aug 1999

Supervisor: Hemerik, C. (Supervisor 1) & Backhouse, R. (Supervisor 2)

Student thesis: Master