2956 search results - page 29 / 592 » Databases and Higher Types |
FOSSACS
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
121
click to vote
CSL
2006
Springer
15 years 3 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
114
click to vote
DATESO
2008
15 years 25 days ago
2008
In this paper we deal with a particular type of database systems
IIE
2008
14 years 11 months ago
2008
One of the biggest challenges that higher learning institutions face today is to improve the quality of managerial decisions. The managerial decision making process becomes more co...
ECTEL
2006
Springer
15 years 3 months ago
2006
Springer
iCamp is an EC-funded research project in the area of Technology Enhanced Learning (TEL) that aims to support collaboration and social networking across systems, countries and disc...