1154 search results - page 73 / 231 » Implementing Typed Intermediate Languages |
GEOINFORMATICA
2008
13 years 9 months ago
2008
Topological relationships like overlap, inside, meet, and disjoint uniquely characterize the relative position between objects in space. For a long time, they have been a focus of...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
We present a programming technique for implementing type safe covariance in C++. In a sense, we implement most of Bruce’s matching approach to the covariance dilemma in C++. The...
SIGMOD
2006
ACM
14 years 9 months ago
2006
ACM
In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a ...
PLDI
2010
ACM
14 years 6 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
ICFP
2012
ACM
11 years 11 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...