2022 search results - page 355 / 405 » Natural-Language Semantics for Associations |
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
ICFP
2002
ACM
14 years 10 months ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
ICFP
2002
ACM
14 years 10 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
ICFP
2001
ACM
14 years 10 months ago
2001
ACM
It is possible to translate code written in Emacs Lisp or another Lisp dialect which uses dynamic scoping to a more modern programming language with lexical scoping while largely ...
PERCOM
2007
ACM
14 years 9 months ago
2007
ACM
Although mobile services can be used ubiquitously, their employment and the interaction with them are still restricted by the constraints of mobile devices. In order to facilitate...