Kevin H. Xu

Publication Activity (10 Years)

Years Active: 2000-2017
Publications (10 Years): 1

Top Topics

Lambda Calculus

Stored Procedures

Database Language

General Purpose

Top Venues

Theor. Comput. Sci.

Publications

Kevin H. Xu
A class of bounded functions, a database language and an extended lambda calculus. Theor. Comput. Sci. 691 (2017)
Kevin H. Xu, Jingsong Zhang, Shelby Gao
Froglingo, a Programming Language empowered by a Total-Recursive-Equivalent Data Model. J. Digit. Inf. Manag. 9 (4) (2011)
Kevin H. Xu, Jingsong Zhang, Shelby Gao
High-order functions and their ordering relations. ICDIM (2010)
Kevin H. Xu, Jingsong Zhang, Shelby Gao
Froglingo - A Monolithic Alternative to DBMS, Programming Language, Web Server and File System. ENASE (2010)
Kevin H. Xu
A Data Model for Effectively Computable Functions. EDBT PhD Workshop (2000)