Sciweavers

18429 search results - page 344 / 3686
» Typing dynamic typing
Sort
View
226
Voted
HOA
1995
15 years 11 months ago
Higher-Order Algebra with Transfinite Types
L.J. Steggles
L. J. Steggles
POPL
1997
ACM
15 years 11 months ago
Parameterized Types for Java
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
Andrew C. Myers, Joseph A. Bank, Barbara Liskov
ISER
1995
Springer
157views Robotics» more  ISER 1995»
15 years 11 months ago
Robotic Perception of Material: Experiments with Shape-Invariant Acoustic Measures of Material Type
We present an active approach for discriminating different materials by impulsively contacting (hitting) them, and sensing and interpreting the resulting sounds. In theory, the an...
Eric Krotkov, Roberta L. Klatzky, Nina B. Zumel
162
Voted
LICS
1995
IEEE
15 years 11 months ago
A Typed Calculus of Synchronous Processes
Simon J. Gay, Rajagopal Nagarajan