A Data Model for Effectively Computable Functions. - Kevin H. Xu (EDBT PhD Workshop, 2000)

Froglingo - A Monolithic Alternative to DBMS, Programming Language, Web Server and File System. - Kevin H. Xu; Jingsong Zhang; Shelby Gao (ENASE, 2010)

High-order functions and their ordering relations. - Kevin H. Xu; Jingsong Zhang; Shelby Gao (ICDIM, 2010)

Froglingo, a Programming Language empowered by a Total-Recursive-Equivalent Data Model. - Kevin H. Xu; Jingsong Zhang; Shelby Gao (J. Digit. Inf. Manag., 2011)

A class of bounded functions, a database language and an extended lambda calculus. - Kevin H. Xu (Theor. Comput. Sci., 2017)