Yong Luo
4 published titles
A type theory with pattern matching and partially defined functions
1 edition
- Computing Laboratory, University of Kent
- 2007
- Details
Computer science at Kent : replacing unevaluated parts in the traces of functional programs
1 edition
Algorithmic debugging for locally defined functions
1 edition
- Computing Laboratory, University of Kent
- 2007
- Details
Algorithmic debugging with cyclic traces of lazy functional programs
1 edition
- Computing Laboratory, University of Kent
- 2007
- Details
