Search

Filters

Use filters to refine the search results.

Current Filters:




New Filters:

Showing 10 out of a total of 10 results. (0.002 seconds)

Now showing items 1-10 of 10

Export Results

Sort Options:
Results Per Page:
- 50
- 100
- 150
- 200

Safe proof checking in type theory with Y

Geuvers, J.H. ; Poll, E. ; Zwanenburg, J.

1999, Part of book or chapter of book (Flum, J.; Rodriguez Artalejo, M. (ed.), 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, pp. 439-452)
Abstract reduction: towards a theory via abstract interpretation

Eekelen, M.C.J.D. van ; Goubault, G.; Hankin, C.; Nöcker, E.

1993, Part of book or chapter of book (Term graph rewriting : theory and practice, pp. 117-129)
Operational Machine Specification in a functional programming language

Koopman, P. ; Eekelen, M.C.J.D. van ; Plasmeijer, M.J.

1993, External research report
Proceedings of the 5th International Workshop on Implementation of Functional Languages

Eekelen, M.C.J.D. van ; Plasmeijer, M.J.

1993, External research report
Term Graph Rewriting : Theory and Practice

Sleep, M.R.; Plasmeijer, M.J. ; Eekelen, M.C.J.D. van

1993, Book (monograph)
Guaranteeing safe destructive updates through a type system with uniqueness information for graphs

Smetsers, J.E.W. ; Barendsen, E. ; Eekelen, M.C.J.D. van ; Plasmeijer, R.

1993, External research report
Graph rewriting using the annotated functional strategy

Koopman, P.W.M. ; Smetsers, J.E.W. ; Eekelen, M.C.J.D. van ; Plasmeijer, M.J.

1993, Part of book or chapter of book (Term graph rewriting : Theory and practice, pp. 317-332)
The functional strategy and transitive term rewriting systems

Toyama, Y.; Smetsers, S. ; Eekelen, M.C.J.D. van ; Plasmeijer, M.J.

1993, Part of book or chapter of book (Sleep, M.R. (ed.), Term Graph Rewriting - Theory and Practice, pp. 61-75)
Concurrent Clean, Language Manual - Version 0.8 (revised version)

Eekelen, M.C.J.D. van ; Huitema, H.; Nöcker, E.; Plasmeijer, M.J. ; Smetsers, J.E.W.

1993, External research report
Functional Programming and Parallel Graph Rewriting

Plasmeijer, M.J. ; Eekelen, M.C.J.D. van

1993, Book (monograph)

Now showing items 1-10 of 10

Radboud Repository

Search

Showing 10 out of a total of 10 results. (0.002 seconds)

Explore

Author

Document type

Date Issued

Departments

Browse

All of Repository