DSpace at RU >

Browsing by Faculty / Department Software Technology

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.
	1990	Functional Descriptions of Neural Networks	Koopman, P.; Rutten, P.W.M.; Eekelen, M.C.J.D. van; Plasmeijer, R.
	1990	Concurrent Functional Programming	Plasmeijer, R.; Eekelen, M.C.J.D. van
	1991	Parallel graph rewriting on loosely coupled machine architectures	Eekelen, M.C.J.D. van; Plasmeijer, M.J.; Smetsers, J.E.W.
	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.
	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
	1998	Interactive functional objects in Clean	Achten, P.M.; Plasmeijer, R.
	1999	Keep it CLEAN: A unique approach to functional programming	Plasmeijer, R.; Eekelen, M.C.J.D. van
	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. de; 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.; Eekelen, M.C.J.D. van; Plasmeijer, M.J.
	2004	A Functional Programming Technique for Forms in Graphical User Interfaces	Evers, S.; Achten, P.M.; Kuper, Jan
	2004	Optimizing Generic Functions	Alimarine, A.; Smetsers, J.E.W.
	2004	Generic Graphical User Interfaces	Achten, P.M.; Eekelen, M.C.J.D. van; Plasmeijer, M.J.