2803 search results - page 23 / 561 » A Type System for Prototyping Languages |
SCOPES
2004
Springer
14 years 1 months ago
2004
Springer
PLDI
2005
ACM
14 years 2 months ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
POPL
1989
ACM
14 years 15 days ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
ENTCS
2006
13 years 8 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...