Author:
Smetsers Sjaak,van Eekelen Marko
Subject
Computer Networks and Communications,Software
Reference25 articles.
1. Mechanized metatheory for the masses: the poplmark challenge;Aydemir,2005
2. Benton Peter Nicholas. Strictness analysis of lazy functional programs [Ph.D. thesis], Number 309. University of Cambridge, Computer Laboratory; 1993.
3. Burn GL, Hankin CL, Abramsky S. The theory of strictness analysis for higher order functions. In: Proceedings of workshop on programs as data objects. Lecture notes in computer science, vol. 217. DIKU, Denmark: Springer Verlag; 1985. p. 42–62.
4. Barendsen Erik, Smetsers Sjaak. Uniqueness typing for functional languages with graph rewriting semantics. In: Mathematical structures in computer science, vol. 6, 1996. p. 579–612.
5. Barendsen Erik, Smetsers Sjaak. Strictness analysis via resource typing. In: Reflections on type theory, lambda calculus, and the mind, Nijmegen, Netherlands, December 2007. p. 29–40.