Sjaak Smetsers
Sjaak Smetsers
Assistant Professor Computer Science, Radboud University Nijmegen
No verified email
Title
Cited by
Cited by
Year
Conventional and uniqueness typing in graph rewrite systems
E Barendsen, S Smetsers
International Conference on Foundations of Software Technology and …, 1993
1441993
Uniqueness typing for functional languages with graph rewriting semantics
E Barendsen, S Smetsers
Mathematical structures in computer science 6 (6), 579-612, 1996
1301996
Guaranteeing safe destructive updates through a type system with uniqueness information for graphs
S Smetsers, E Barendsen, M van Eekelen, R Plasmeijer
Graph Transformations in Computer Science, 358-379, 1994
681994
TweetNaCl: A crypto library in 100 tweets
DJ Bernstein, B Van Gastel, W Janssen, T Lange, P Schwabe, S Smetsers
International Conference on Cryptology and Information Security in Latin …, 2014
582014
There and back again: arrows for invertible programming
A Alimarine, S Smetsers, A van Weelden, M van Eekelen, R Plasmeijer
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, 86-97, 2005
552005
Generating efficient code for lazy functional languages
S Smetsers, E Nöcker, J Van Groningen, R Plasmeijer
Conference on Functional Programming Languages and Computer Architecture …, 1991
521991
Graph rewriting aspects of functional programming
E Barendsen, S Smetsers
Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 2 …, 1999
381999
The functional strategy and transitive term rewriting systems
Y Toyama, S Smetsers, M Van Eekelen, MJ Plasmeijer
Chichester: John Wiley & Sons, 1993
371993
Aha: Amortized heap space usage analysis
MCJD van Eekelen, O Shkaravska, RHC van Kesteren, B Jacobs, E Poll, ...
Bristol: Intellect Publishers, UK, 2008
352008
Uniqueness type inference
E Barendsen, S Smetsers
International Symposium on Programming Language Implementation and Logic …, 1995
351995
Towards an empirically validated model for assessment of code quality
M Stegeman, E Barendsen, S Smetsers
Proceedings of the 14th Koli Calling international conference on computing …, 2014
322014
Designing a rubric for feedback on code quality in programming courses
M Stegeman, E Barendsen, S Smetsers
Proceedings of the 16th Koli Calling International Conference on Computing …, 2016
312016
Optimizing generic functions
A Alimarine, S Smetsers
International Conference on Mathematics of Program Construction, 16-31, 2004
302004
Graph rewriting semantics for functional programming languages
M van Eekelen, S Smetsers, R Plasmeijer
International Workshop on Computer Science Logic, 106-128, 1996
251996
Improved fusion for optimizing generics
A Alimarine, S Smetsers
International Workshop on Practical Aspects of Declarative Languages, 203-218, 2005
242005
Extending graph rewriting with copying
E Barendsen, S Smetsers
Graph Transformations in Computer Science, 51-70, 1994
181994
Partial type assignment in left linear applicative term rewriting systems
S Van Bakel, S Smetsers, S Brock
Colloquium on Trees in Algebra and Programming, 300-321, 1992
161992
Fusion in practice
D Van Arkel, J Van Groningen, S Smetsers
Symposium on Implementation and Application of Functional Languages, 51-67, 2002
152002
Graph rewriting and copying
E Barendsen, S Smetsers
Technical Report 92-20, University of Nijmegen, 1992
151992
Partially strict non-recursive data types
E Nöcker, S Smetsers
Journal of Functional Programming 3 (2), 191-215, 1993
141993
The system can't perform the operation now. Try again later.
Articles 1–20