2565 search results - page 27 / 513 » Object type constructors |
129
Voted
OOPSLA
2010
Springer
15 years 18 days ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
108
Voted
CAISE
2007
Springer
15 years 8 months ago
2007
Springer
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...
95
Voted
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
110
Voted
GPCE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In meta programming with concrete object syntax, object-level programs are composed from fragments written in concrete syntax. The use of small program fragments in such ...
236
Voted
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...