Kenny Zhuo Ming Lu Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martin Sulzmann, Kenny Zhuo Ming Lu: Regular expression sub-matching using partial derivatives. PPDP 2012: 79-90
2007
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martin Sulzmann, Kenny Zhuo Ming Lu: XHaskell - Adding Regular Expression Types to Haskell. IFL 2007: 75-92
2006
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martin Sulzmann, Kenny Zhuo Ming Lu: A Type-Safe Embedding of XDuce into ML. Electr. Notes Theor. Comput. Sci. 148(2): 239-264 (2006)
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martin Sulzmann, Kenny Zhuo Ming Lu: XHaskell. PLAN-X 2006: 92
2004
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kenny Zhuo Ming Lu, Martin Sulzmann: An Implementation of Subtyping Among Regular Expression Types. APLAS 2004: 57-73

Coauthor Index

1Martin Sulzmann
[c4] [c3] [j1] [c2] [c1]
Last update Wed May 22 13:40:57 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page