1626 search results - page 106 / 326 » Subtyping with Power Types |
283
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
200
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
172
Voted
WADT
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper describes a sublanguage of Casl, called CaslDL, that corresponds to the Web Ontology Language (OWL) being used for the semantic web. OWL can thus benefit from...
191
Voted
INFOVIS
2003
IEEE
16 years 9 hour ago
2003
IEEE
We present BARD (biological arc diagrams), a visualization tool for biological sequence analysis. The development of BARD began with the application of Wattenberg’s arc diagrams...
219
click to vote
APCHI
2008
IEEE
16 years 1 months ago
2008
IEEE
Denial of Sleeping is a novel type of potential attacks in wireless network. The object of the attack is a sensor node’s power supply. To make sensors inexpensive so that they ca...