330 search results - page 14 / 66 » Intersection and Union Types |
FOSSACS
2010
Springer
13 years 11 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
GIS
2009
ACM
14 years 9 days ago
2009
ACM
Apart from visualization tasks, three-dimensional (3D) data management features are not or only hardly available in current spatial database systems and Geographic Information Sys...
ENTCS
2002
13 years 7 months ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
APAL
2007
13 years 7 months ago
2007
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...
SLP
1993
13 years 9 months ago
1993
