dblp.uni-trier.dewww.uni-trier.de

Sjaak Smetsers

J. E. W. Smetsers

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2007
20EELeonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen: Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. FMICS 2007: 115-132
19EEBart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur: Code-carrying theories. Formal Asp. Comput. 19(2): 191-203 (2007)
2005
18EEArtem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer: There and back again: arrows for invertible programming. Haskell 2005: 86-97
17EEArjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer: Polytypic Syntax Tree Operations. IFL 2005: 142-159
16EEArtem Alimarine, Sjaak Smetsers: Improved Fusion for Optimizing Generics. PADL 2005: 203-218
2004
15EEArtem Alimarine, Sjaak Smetsers: Optimizing Generic Functions. MPC 2004: 16-31
2002
14EEDiederik van Arkel, John H. G. van Groningen, Sjaak Smetsers: Fusion in Practice. IFL 2002: 51-67
1996
13 Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer: Graph Rewriting Semantics for Functional Programming Languages. CSL 1996: 106-128
12 Erik Barendsen, Sjaak Smetsers: Uniqueness Typing for Functional Languages with Graph Rewriting Semantics. Mathematical Structures in Computer Science 6(6): 579-612 (1996)
1995
11 Erik Barendsen, Sjaak Smetsers: Uniqueness Typing in Natural Deduction Style. Functional Programming 1995: 1
10 Erik Barendsen, Sjaak Smetsers: Uniqueness Type Inference PLILP 1995: 189-206
9EEErik Barendsen, Sjaak Smetsers: A derivation system for uniqueness typing. Electr. Notes Theor. Comput. Sci. 2: (1995)
1993
8 Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 358-379
7 Erik Barendsen, Sjaak Smetsers: Extending Graph Rewriting with Copying. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 51-70
6 Erik Barendsen, Sjaak Smetsers: Conventional and Uniqueness Typing in Graph Rewrite Systems. FSTTCS 1993: 41-51
5 Eric Nöcker, Sjaak Smetsers: Partially Strict Non-Recursive Data Types. J. Funct. Program. 3(2): 191-215 (1993)
1992
4 Steffen van Bakel, Sjaak Smetsers, Simon Brock: Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems. CAAP 1992: 300-321
1991
3 Sjaak Smetsers, Eric Nöcker, John H. G. van Groningen, Marinus J. Plasmeijer: Generating Efficient Code for Lazy Functional Languages. FPCA 1991: 592-617
2 E. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Concurrent Clean. PARLE (2) 1991: 202-219
1990
1 Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, J. E. W. Smetsers: Parallel Graph Rewriting on Loosely Coupled Machine Architectures. CTRS 1990: 354-369

Coauthor Index

1Artem Alimarine [15] [16] [18]
2Diederik van Arkel [14]
3Steffen van Bakel [4]
4Erik Barendsen [6] [7] [8] [9] [10] [11] [12]
5Simon Brock [4]
6Marko C. J. D. van Eekelen [1] [2] [8] [13] [18] [20]
7John H. G. van Groningen [3] [14]
8Bart Jacobs [19]
9Leonard Lensink [20]
10E. G. J. M. H. Nöcker [2]
11Eric Nöcker [3] [5]
12Marinus J. Plasmeijer (Rinus Plasmeijer) [1] [2] [3] [8] [13] [17] [18]
13Ronny Wichers Schreur [19]
14Arjen van Weelden [17] [18]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)