Kenny Zhuo Ming Lu

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

Coauthor Index

1

Martin Sulzmann

[1] [2] [3] [4]