4151 search results - page 243 / 831 » Language Driven System Design |
134
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
Abstract. The Scheme language report advocates language design as the composition of a small set of orthogonal constructs, instead of a large accumulation of features. In this pape...
142
click to vote
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
The MLF type system by Le Botlan and R?emy (2003) is a natural extension of Hindley-Milner type inference that supports full firstclass polymorphism, where types can be of higher-...
150
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
167
Voted
SASP
2008
IEEE
15 years 10 months ago
2008
IEEE
Different approaches have been proposed over the years for automatically transforming High-Level-Languages (HLL) descriptions of applications into custom hardware implementations. ...
97
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
The Rosetta system specification language will require a variety of analysis capabilities to assist system designers. The language’s generality prohibits the development of a s...