5451 search results - page 81 / 1091 » Typed Operational Semantics |
126
Voted
ICFP
1999
ACM
15 years 6 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
117
click to vote
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
132
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
178
click to vote
POPL
1994
ACM
15 years 6 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
FOIS
2006
15 years 4 months ago
2006
Ontologies are used as a means of expressing agreements to a vocabulary shared by a community in a coherent and consistent manner. As it happens in the Internet, ontologies are cr...