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

Research Output 1980 2012

Filter
Report
2008

FoolProof : a component toolkit for abstract syntax with variable bindings

Hemerik, C., 2008, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 0816)

Research output: Book/ReportReportAcademic

Open Access
File
2004

Software engineering reference framework

Chaudron, M. R. V., Groote, J. F., Hee, van, K. M., Hemerik, C., Somers, L. J. A. M. & Verhoeff, T., 2004, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0439)

Research output: Book/ReportReportAcademic

Open Access
File
1989

Some category theoretical properties related to a model for a polymorphic lambda-calculus

Eikelder, ten, H. M. M. & Hemerik, C., 1989, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computing science notes; vol. 8903)

Research output: Book/ReportReportAcademic

Open Access
File
1988

An introduction to the category-theoretic solution of recursive domain equations

Bos, R. & Hemerik, C., 1988, Eindhoven: Technische Universiteit Eindhoven. 47 p. (Computing science notes; vol. 8815)

Research output: Book/ReportReportAcademic

Open Access
File

Bottum-up tree acceptors

Hemerik, C. & Katoen, J. P., 1988, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computing science notes; vol. 8816)

Research output: Book/ReportReportAcademic

Open Access
File