305 search results - page 4 / 61 » An Extension of System F with Subtyping |
ICFP
2003
ACM
14 years 7 months ago
2003
ACM
We propose a conservative extension of HM(X), a generic constraint-based type inference framework, with bounded existential (a.k.a. abstract) and universal (a.k.a. polymorphic) da...
MPC
2010
Springer
14 years 9 days ago
2010
Springer
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...
C++
1994
13 years 8 months ago
1994
ne the design and detail the implementation of a language extension for abstracting types and for decoupling subtyping and inheritance in C++. This extension gives the user more of...
ECTEL
2006
Springer
13 years 11 months ago
2006
Springer
In this paper is illustrated the development of FireFly, a system for the Face to Face Collaborative Learning (F2F-CL). FireFly is written using AJAX, a set of technologies that al...
ICFP
2007
ACM
14 years 7 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-...