-
original URL
status unknown (link) Jansen, Jan Martin; Koopman, Pieter;
Plasmeijer,
Rinus (2008). "From
Interpretation to Compilation" (PDF).
Retrieved 21...
- (2009). "Dependently
Typed Programming in Agda" (PDF). In Koopman, P.;
Plasmeijer, R.; Swierstra, D. (eds.).
Advanced Functional Programming. AFP 2008....
- ISBN 978-3-540-85372-5. Jansen, Jan Martin; Koopman,
Pieter W. M.;
Plasmeijer,
Marinus J. (2006). "Efficient
interpretation by
transforming data types...
- Barendregt, H. P.; ****elen, M. C. J. D.; Glauert, J. R. W.; Kennaway, J. R.;
Plasmeijer, M. J.; Sleep, M. R. (1987). "Term
graph rewriting". In Bakker, J. W.;...
-
Mozilla Developer Network.
Retrieved 26
November 2013. "FAQ - Clean".
Plasmeijer, Rinus; Van ****elen, Marko; Van Groningen, John (December 2011). Clean...
- (2010). "Types for Units-of-Measure:
Theory and Practice". In Horváth, Z.;
Plasmeijer, R.; Zsók, V. (eds.).
Central European Functional Programming School....
-
February 1996.
Elementary Strong Functional Programming, D. A. Turner, in R.
Plasmeijer, P. Hartel, eds, "First
International Symposium on
Functional Programming...
- Barendregt, H. P.; ****elen, M. C. J. D.; Glauert, J. R. W.; Kennaway, J. R.;
Plasmeijer, M. J.; Sleep, M. R. (1987). Term
graph rewriting.
Parallel Architectures...
- names:
authors list (link) Barendregt; van ****elen; Glauert; Kennaway;
Plasmeijer;
Sleep (1987). "Term
graph rewriting".
PARLE Parallel Architectures and...
- 1007/BF02931296. PMID 15954536. S2CID 25161353.
Verdijk P,
Dijkman R,
Plasmeijer EI,
Mulder AA,
Zoutman WH,
Mieke Mommaas A,
Tensen CP (April 2005). "A...
