1072 search results - page 24 / 215 » Object-Oriented Type Inference |
285
click to vote
DAC
2012
ACM
13 years 2 months ago
2012
ACM
In this paper we introduce Chisel, a new hardware construction language that supports advanced hardware design using highly parameterized generators and layered domain-specific h...
129
click to vote
TLCA
1995
Springer
15 years 3 months ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
109
click to vote
ESOP
2005
Springer
15 years 5 months ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
103
click to vote
KDD
2004
ACM
15 years 5 months ago
2004
ACM
This paper describes a logical extension to Microsoft Business Framework (MBF) called Analytical View (AV). AV consists of three components: Model Service for design time, Busines...
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...