In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
: Keeping in touch with family and friends should be easier now that we have a repertoire of communication tools available to us (e.g. SMS, IM, email, mobile and landline phones). ...
Abstract. The rapid growth of personal email communication, instant messaging and online communities has brought attention to the important role of interpersonal trust in online co...
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
Estimating human age automatically via facial image analysis has lots of potential real-world applications, such as human computer interaction and multimedia communication. However...
Guodong Guo, Yun Fu, Charles R. Dyer, Thomas S. Hu...