Sciweavers

18429 search results - page 313 / 3686
» Typing dynamic typing
Sort
View
ASIAN
2004
Springer
112views Algorithms» more  ASIAN 2004»
16 years 3 days ago
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...
ESOP
2004
Springer
16 years 2 days ago
Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types
Tom Hirschowitz, Xavier Leroy, J. B. Wells
FASE
2004
Springer
16 years 2 days ago
Enhancing Remote Method Invocation through Type-Based Static Analysis
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco
HUC
2004
Springer
16 years 2 days ago
ActiveBelt: Belt-Type Wearable Tactile Display for Directional Navigation
In this paper we propose a novel wearable interface called “ActiveBelt” that enables users to obtain multiple directional information with the tactile sense. Since the informat...
Koji Tsukada, Michiaki Yasumura