Sciweavers

18429 search results - page 296 / 3686
» Typing dynamic typing
Sort
View
NOLISP
2009
Springer
16 years 1 months ago
Automatic Classification of Regular vs. Irregular Phonation Types
Tamás Bohm, Zoltán Both, Géza...
SEMWEB
2009
Springer
16 years 1 months ago
Improving Bio-Ontologies Matching Using Types and Adaptive Weights
Bastien Rance, Christine Froidevaux
SFM
2009
Springer
16 years 1 months ago
Fundamentals of Session Types
Vasco Thudichum Vasconcelos
CSFW
2008
IEEE
16 years 1 months ago
Refinement Types for Secure Implementations
Jesper Bengtson, Karthikeyan Bhargavan, Céd...