DSpace at RU >

Browsing by Faculty / Department Security of Systems

Full Text	Issue Date	Title	Author(s)
	1987	Specification of reduction strategies in term rewriting systems	Eekelen, M.C.J.D. van; Plasmeijer, M.J.
	1987	Towards an intermediate language based on Graph Rewriting	Barendregt, H.P.; Eekelen, M.C.J.D. van; Glauert, J.R.W.; Kennaway, J.R.; Plasmeijer, M.J., et al
	1987	Clean - A language for functional graph rewriting	Brus, T.H.; Eekelen, M.C.J.D. van; Leer, M.O. van; Plasmeijer, M.J.
	1990	Concurrent Functional Programming	Plasmeijer, R.; Eekelen, M.C.J.D. van
	1990	Functional Descriptions of Neural Networks	Koopman, P.; Rutten, P.W.M.; Eekelen, M.C.J.D. van; Plasmeijer, R.
	1991	Concurrent clean	Nöcker, E.G.J.M.H.; Smetsers, J.E.W.; Eekelen, M.C.J.D. van; Plasmeijer, M.J.
	1991	The Concurrent CLEAN System, functional programming on the Macintosh	Plasmeijer, M.J.; Eekelen, M.C.J.D. van; Nöcker, E.; Smetsers, S.
	1991	Parallel graph rewriting on loosely coupled machine architectures	Eekelen, M.C.J.D. van; Plasmeijer, M.J.; Smetsers, J.E.W.
	1994	Guaranteeing safe destructive updates through a type system with uniqueness information for graphs	Smetsers, S.; Barendsen, E.; Eekelen, M.C.J.D. van; Plasmeijer, R.
	1995	Constructing medium sized efficient functional programs in Clean	Eekelen, M.C.J.D. van; Plasmeijer, R.
	1998	Concurrent Clean Language Report - version 1.3	Plasmeijer, R.; Eekelen, M.C.J.D. van
	1998	A Prototype Dedicated Theorem Prover for Clean	Mol, M.J. de; Eekelen, M.C.J.D. van
	1999	Keep it CLEAN: A unique approach to functional programming	Plasmeijer, R.; Eekelen, M.C.J.D. van
	1999	Safe proof checking in type theory with Y	Geuvers, J.H.; Poll, E.; Zwanenburg, J.
	2000	Term graph rewriting and mobile expressions in functional languages	Plasmeijer, R.; Eekelen, M.C.J.D. van
	2000	A proof tool dedicated to clean - The first prototype	Mol, M.J. de; Eekelen, M.C.J.D. van
	2001	Theorem Proving for functional Programmers - Sparkle: A Functional Theorem Prover	Mol, M.J.T.M.; Eekelen, M.C.J.D. van; Plasmeijer, M.J.
	2001	Polygonizing Implicit Surfaces in a Purely Functional Way	Zoerner, T.; Koopman, P.W.M.; Eekelen, M.C.J.D. van; Plasmeijer, M.J.
	2001	Theorem Proving for functional Programmers : Sparkle, a functional theorem prover	Mol, M.J.T.M. de; Eekelen, M.C.J.D. van; Plasmeijer, M.J.
	2001	Certified and Portable Mathematical Documents from Formal Contexts	Caprotti, O.; Geuvers, J.H.; Oostdijk, M.D.