31686 search results - page 255 / 6338 » Resource typing in Guru |
ARGMAS
2005
Springer
14 years 4 months ago
2005
Springer
Much work in the area of argumentation-based dialogues between agents has been based on the influential taxonomy of dialogue types developed by Walton and Krabbe. In this paper we...
CSL
2005
Springer
14 years 4 months ago
2005
Springer
Implementations of real number computations have largely been unusable in practice because of their very bad performance, especially in comparison to floating point arithmetic imp...
ICTAC
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We investigate the issue of typing confidentiality in a languagebased information-flow security approach, aiming at improving some previously proposed type systems, esp...
SIGSOFT
2004
ACM
14 years 4 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
PADL
2004
Springer
14 years 4 months ago
2004
Springer
An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a typepreserving XML–Haskell data binding that handles docume...