402 search results - page 1 / 81 » Engineering a Programming Language: The Type and Class Syste... |
PLSA
1994
13 years 8 months ago
1994
OOPSLA
2010
Springer
13 years 3 months 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...
EMSOFT
2004
Springer
13 years 10 months ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
ASPLOS
2006
ACM
13 years 10 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
PLDI
2005
ACM
13 years 10 months ago
2005
ACM
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...