13734 search results - page 70 / 2747 » Abstractions of data types |
172
click to vote
FOSSACS
2000
Springer
15 years 9 months ago
2000
Springer
A new treatment of data refinement in typed lambda calculus is proposed, phrased in terms of pre-logical relations [HS99] rather than logical relations, and incorporating a constru...
146
click to vote
SIGADA
2005
Springer
15 years 11 months ago
2005
Springer
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introof Abstract Interfaces to provide a form of multiple nce. Ada 20...
147
click to vote
WETICE
1999
IEEE
15 years 10 months ago
1999
IEEE
XML, as "the next generation ASCII", can play several roles in a distributed object system; one of the more exciting ones is as the basis for serialized data representat...
139
click to vote
PADL
2004
Springer
15 years 11 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...
163
click to vote
TCS
2008
15 years 6 months ago
2008
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...