Radboud Repository
Radboud Repository
→
Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search
All of Radboud repository
Collections Radboud University
Filters
Use filters to refine the search results.
Current Filters:
Title
Author
Subject
Date issued
Document type
Journal
Fulltext in item
Department
Fulltext must be present
Contains
Equals
ID
Not Contains
Not Equals
Not ID
is greater than or equals
is less than or equals
Must be present
Title
Author
Subject
Date issued
Document type
Journal
Fulltext in item
Department
Fulltext must be present
Contains
Equals
ID
Not Contains
Not Equals
Not ID
is greater than or equals
is less than or equals
Must be present
Title
Author
Subject
Date issued
Document type
Journal
Fulltext in item
Department
Fulltext must be present
Contains
Equals
ID
Not Contains
Not Equals
Not ID
is greater than or equals
is less than or equals
Must be present
New Filters:
Title
Author
Subject
Date issued
Document type
Journal
Fulltext in item
Department
Fulltext must be present
Contains
Equals
ID
Not Contains
Not Equals
Not ID
is greater than or equals
is less than or equals
Must be present
Showing 4 out of a total of 4 results.
(0.001 seconds)
Now showing items 1-4 of 4
1
Export Results
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
50
100
150
200
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
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
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
Now showing items 1-4 of 4
1
Export Results
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
50
100
150
200
Explore
Author
Eekelen, M.C.J.D. van (4)
Plasmeijer, M.J. (4)
Smetsers, S. (2)
... View More
Document type
External research report (4)
Date Issued
1993 (4)
Departments
Digital Security (4)
Model Based System Development (4)
Security of Systems (4)
Browse
All of Repository
Collections
Departments
Date Issued
Authors
Titles
Document type