Kenny Zhuo Ming Lu (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Martin Sulzmann, Kenny Zhuo Ming Lu: XHaskell - Adding Regular Expression Types to Haskell. IFL 2007: 75-92

3 Martin Sulzmann, Kenny Zhuo Ming Lu: XHaskell. PLAN-X 2006: 92

2 Martin Sulzmann, Kenny Zhuo Ming Lu: A Type-Safe Embedding of XDuce into ML. Electr. Notes Theor. Comput. Sci. 148(2): 239-264 (2006)

1 Kenny Zhuo Ming Lu, Martin Sulzmann: An Implementation of Subtyping Among Regular Expression Types. APLAS 2004: 57-73

Selection of 4 from 4 records - Kenny Zhuo Ming Lu has 1 coauthors

4		Martin Sulzmann, Kenny Zhuo Ming Lu: XHaskell - Adding Regular Expression Types to Haskell. IFL 2007: 75-92
3		Martin Sulzmann, Kenny Zhuo Ming Lu: XHaskell. PLAN-X 2006: 92
2		Martin Sulzmann, Kenny Zhuo Ming Lu: A Type-Safe Embedding of XDuce into ML. Electr. Notes Theor. Comput. Sci. 148(2): 239-264 (2006)
1		Kenny Zhuo Ming Lu, Martin Sulzmann: An Implementation of Subtyping Among Regular Expression Types. APLAS 2004: 57-73