624 search results - page 13 / 125 » The Complexity of Type Analysis of Object Oriented Programs |
JOT
2008
13 years 7 months ago
2008
JISE
2000
13 years 7 months ago
2000
SIGMOD
2003
ACM
14 years 7 months ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
ISAAC
2010
Springer
13 years 5 months ago
2010
Springer
We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such pr...