59 search results - page 11 / 12 » The generalised type-theoretic interpretation of constructiv... |
DEXAW
2002
IEEE
14 years 12 days ago
2002
IEEE
Cultural institutions increasingly see the need to play an important role in the lifelong learning of citizens. Recent trends, particularly in science museums, have been toward su...
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
ICFP
2007
ACM
14 years 7 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
TIT
1998
13 years 7 months ago
1998
In this article we review some recent interactions between harmonic analysis and data compression. The story goes back of course to Shannon’s R(D) theory in the case of Gaussian...
ENTCS
2002
13 years 7 months ago
2002
In the quest for an elegant formulation of the notion of "polycategory" we develop a more symmetric counterpart to Burroni's notion of "T-category", where ...