Conventional and uniqueness typing in graph rewrite systems E Barendsen, S Smetsers International Conference on Foundations of Software Technology and …, 1993 | 144 | 1993 |

Uniqueness typing for functional languages with graph rewriting semantics E Barendsen, S Smetsers Mathematical structures in computer science 6 (6), 579-612, 1996 | 130 | 1996 |

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 | 68 | 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 | 58 | 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 | 55 | 2005 |

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 | 52 | 1991 |

Graph rewriting aspects of functional programming E Barendsen, S Smetsers Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 2 …, 1999 | 38 | 1999 |

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 |

Uniqueness type inference E Barendsen, S Smetsers International Symposium on Programming Language Implementation and Logic …, 1995 | 35 | 1995 |

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 | 32 | 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 | 31 | 2016 |

Optimizing generic functions A Alimarine, S Smetsers International Conference on Mathematics of Program Construction, 16-31, 2004 | 30 | 2004 |

Graph rewriting semantics for functional programming languages M van Eekelen, S Smetsers, R Plasmeijer International Workshop on Computer Science Logic, 106-128, 1996 | 25 | 1996 |

Improved fusion for optimizing generics A Alimarine, S Smetsers International Workshop on Practical Aspects of Declarative Languages, 203-218, 2005 | 24 | 2005 |

Extending graph rewriting with copying E Barendsen, S Smetsers Graph Transformations in Computer Science, 51-70, 1994 | 18 | 1994 |

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 | 16 | 1992 |

Fusion in practice D Van Arkel, J Van Groningen, S Smetsers Symposium on Implementation and Application of Functional Languages, 51-67, 2002 | 15 | 2002 |

Graph rewriting and copying E Barendsen, S Smetsers Technical Report 92-20, University of Nijmegen, 1992 | 15 | 1992 |

Partially strict non-recursive data types E Nöcker, S Smetsers Journal of Functional Programming 3 (2), 191-215, 1993 | 14 | 1993 |