| 2012 | ||
|---|---|---|
| c4 | Martin Sulzmann, Kenny Zhuo Ming Lu: Regular expression sub-matching using partial derivatives. PPDP 2012: 79-90 | |
| 2007 | ||
| c3 | Martin Sulzmann, Kenny Zhuo Ming Lu: XHaskell - Adding Regular Expression Types to Haskell. IFL 2007: 75-92 | |
| 2006 | ||
| j1 | Martin Sulzmann, Kenny Zhuo Ming Lu: A Type-Safe Embedding of XDuce into ML. Electr. Notes Theor. Comput. Sci. 148(2): 239-264 (2006) | |
| c2 | ||
| 2004 | ||
| c1 | Kenny Zhuo Ming Lu, Martin Sulzmann: An Implementation of Subtyping Among Regular Expression Types. APLAS 2004: 57-73 | |
| 1 | Martin Sulzmann |
Data released under the ODC-BY 1.0 license — See also our legal information page