8021 search results - page 26 / 1605 » A Type System for Tom |
ICFP
1997
ACM
13 years 12 months ago
1997
ACM
We present a type system for the programming language Erlang. The type system supports subtyping and declarationfree recursive types, using subtyping constraints. Our system is si...
BIS
2009
13 years 8 months ago
2009
Abstract. The quality of today's digital maps is very high. This allows for new functionality as illustrated by modern car navigation systems (e.g., TomTom, Garmin, etc.), Goo...
SPIN
2005
Springer
14 years 1 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
ICFP
2003
ACM
14 years 7 months ago
2003
ACM
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
FDL
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— A modeling methodology for mixed physical domains system in a new modelling Language is presented. The system is automotive seating vibration isolation system with elec...