Search

Filters

Use filters to refine the search results.

Current Filters:




New Filters:

Showing 11 out of a total of 11 results. (0.168 seconds)

Now showing items 1-11 of 11

Export Results

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

Translating Dependent Type Theory into Higher Order Logic

Jacobs, B.P.F. ; Melham, T.

1993, Part of book or chapter of book (Bezem, M. (ed.), Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16–18, 1993, Utrecht, The Netherlands. Proceedings, pp. 209-229)
Process annotations and process types

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

1993, Part of book or chapter of book (Term graph rewriting : theory and practice, pp. 347-362)
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-11 of 11

Export Results

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

Radboud Repository

Search

Showing 11 out of a total of 11 results. (0.168 seconds)

Explore

Author

Document type

Date Issued

Departments

Browse

All of Repository