7529 search results - page 126 / 1506 » The Modula-3 Type System |
118
click to vote
ICFP
2001
ACM
16 years 4 months ago
2001
ACM
We present a dependently typed assembly language (DTAL) in which the type system supports the use of a restricted form of dependent types, reaping some benefits of dependent types...
132
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Ruby on Rails (or just “Rails”) is a popular web application framework built on top of Ruby, an objectoriented scripting language. While Ruby’s powerful features such as d...
112
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
e type system for the lmdElulus enrihed with reurE sive nd oreursive funtions over equiEindutive nd Eoindutive types is presented in whih ll wel...
155
click to vote
FASE
2005
Springer
15 years 10 months ago
2005
Springer
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...
139
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...