Sciweavers

18429 search results - page 310 / 3686
» Typing dynamic typing
Sort
View
OOPSLA
2005
Springer
16 years 24 days ago
Associated types and constraint propagation for mainstream object-oriented generics
Jaakko Järvi, Jeremiah Willcock, Andrew Lumsd...
PADL
2005
Springer
16 years 23 days ago
Type Class Directives
Bastiaan Heeren, Jurriaan Hage
PPAM
2005
Springer
16 years 23 days ago
A Meta-scheduling Service for Co-allocating Arbitrary Types of Resources
Oliver Wäldrich, Philipp Wieder, Wolfgang Zie...
RWEB
2005
Springer
16 years 23 days ago
Towards Types for Web Rule Languages
Wlodzimierz Drabent
SCALESPACE
2005
Springer
16 years 23 days ago
A Linear Image Reconstruction Framework Based on Sobolev Type Inner Products
Exploration of information content of features that are present in images has led to the development of several reconstruction algorithms. These algorithms aim for a reconstruction...
Bart Janssen, Frans Kanters, Remco Duits, Luc Flor...