Sjaak Smetsers
Sjaak Smetsers
Assistant Professor Computer Science, Radboud University Nijmegen
No verified email
Cited by
Cited by
Uniqueness typing for functional languages with graph rewriting semantics
E Barendsen, S Smetsers
Mathematical structures in computer science 6 (6), 579-612, 1996
Conventional and uniqueness typing in graph rewrite systems
E Barendsen, S Smetsers
International Conference on Foundations of Software Technology and …, 1993
Concurrent clean
E Nöcker, JEW Smetsers, MCJD van Eekelen, MJ Plasmeijer
PARLE'91 Parallel Architectures and Languages Europe: Volume II: Parallel …, 1991
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: International Workshop Dagstuhl …, 1994
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
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
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
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
Generating efficient code for lazy functional languages
S Smetsers, E Nöcker, J van Groningen, R Plasmeijer
Functional Programming Languages and Computer Architecture: 5th ACM …, 1991
Graph rewriting aspects of functional programming
E Barendsen, S Smetsers
Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 2 …, 1999
Uniqueness type inference
E Barendsen, S Smetsers
International Symposium on Programming Language Implementation and Logic …, 1995
The functional strategy and transitive term rewriting systems
Y Toyama, S Smetsers, M van Eekelen, MJ Plasmeijer
Chichester: John Wiley & Sons, 1993
Aha: Amortized heap space usage analysis
MCJD van Eekelen, O Shkaravska, RHC van Kesteren, B Jacobs, E Poll, ...
Bristol: Intellect Publishers, UK, 2008
Optimizing generic functions
A Alimarine, S Smetsers
International Conference on Mathematics of Program Construction, 16-31, 2004
Graph rewriting semantics for functional programming languages
M van Eekelen, S Smetsers, R Plasmeijer
Computer Science Logic: 10th International Workshop, CSL'96 Annual …, 1997
Improved fusion for optimizing generics
A Alimarine, S Smetsers
Practical Aspects of Declarative Languages: 7th International Symposium …, 2005
Proof tool support for explicit strictness
M van Eekelen, M de Mol
Symposium on Implementation and Application of Functional Languages, 37-54, 2005
Extending graph rewriting with copying
E Barendsen, S Smetsers
Graph Transformations in Computer Science: International Workshop Dagstuhl …, 2005
Parallel graph rewriting on loosely coupled machine architectures
M van Fekelen, MJ Plasmeijer, JEW Smetsers
Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop …, 1991
Partial type assignment in left linear applicative term rewriting systems: Theory, applications and implementation
S van Bakel, S Smetsers, S Brock
CAAP'92: 17th Colloquium on Trees in Algebra and Programming Rennes, France …, 1992
The system can't perform the operation now. Try again later.
Articles 1–20