In Programming Languages research, we explore the ways in which computations are expressed in written form. Our research focuses on three central ideas: the semantics of a particular piece of program ...

"WordNet is a semantic lexicon for the English language. It groups English words into sets of synonyms called synsets, provides short, general definitions, and records the various semantic ...

Programming Languages & Software Engineering. Our research area investigates the fundamental principles, processes and technologies for the design, ... type theory, formal verification, logics, ...