18429 search results - page 43 / 3686 » Typing dynamic typing |
ICFP
2004
ACM
14 years 10 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
POPL
1993
ACM
14 years 2 months ago
1993
ACM
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...
ENTCS
2008
13 years 10 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
POPL
2009
ACM
14 years 10 months ago
2009
ACM
Abstract Types in Modules with Open Existential Types Beno?t Montagu Didier R?my INRIA {Benoit.Montagu, Didier.Remy}@inria.fr We propose F , a calculus of open existential types t...
FOCI
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper presents the geometric defuzzifier for generalised type-2 fuzzy sets. This defuzzifier can be executed in real-time and can therefore be applied to control and other rea...