Uniqueness typing for functional languages with graph rewriting semantics E Barendsen, S Smetsers Mathematical structures in computer science 6 (6), 579-612, 1996 | 160 | 1996 |
Conventional and uniqueness typing in graph rewrite systems E Barendsen, S Smetsers International Conference on Foundations of Software Technology and …, 1993 | 153 | 1993 |
Concurrent clean E Nöcker, JEW Smetsers, MCJD van Eekelen, MJ Plasmeijer PARLE'91 Parallel Architectures and Languages Europe: Volume II: Parallel …, 1991 | 150 | 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 | 81 | 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 | 80 | 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 | 74 | 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 | 63 | 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 | 58 | 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 | 55 | 1991 |
Graph rewriting aspects of functional programming E Barendsen, S Smetsers Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 2 …, 1999 | 40 | 1999 |
Uniqueness type inference E Barendsen, S Smetsers International Symposium on Programming Language Implementation and Logic …, 1995 | 39 | 1995 |
The functional strategy and transitive term rewriting systems Y Toyama, S Smetsers, M van Eekelen, MJ Plasmeijer Chichester: John Wiley & Sons, 1993 | 37 | 1993 |
Aha: Amortized heap space usage analysis MCJD van Eekelen, O Shkaravska, RHC van Kesteren, B Jacobs, E Poll, ... Bristol: Intellect Publishers, UK, 2008 | 35 | 2008 |
Optimizing generic functions A Alimarine, S Smetsers International Conference on Mathematics of Program Construction, 16-31, 2004 | 33 | 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 | 26 | 1997 |
Improved fusion for optimizing generics A Alimarine, S Smetsers Practical Aspects of Declarative Languages: 7th International Symposium …, 2005 | 22 | 2005 |
Proof tool support for explicit strictness M van Eekelen, M de Mol Symposium on Implementation and Application of Functional Languages, 37-54, 2005 | 21 | 2005 |
Extending graph rewriting with copying E Barendsen, S Smetsers Graph Transformations in Computer Science: International Workshop Dagstuhl …, 2005 | 19 | 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 | 19 | 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 | 18 | 1992 |