1072 search results - page 96 / 215 » Object-Oriented Type Inference |
131
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
130
click to vote
KI
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents a mapping solution from ERDF(S) to Take vocabulary. The work is related to an investigation of integrating ERDF Derivation Rules into Take inference engine. Som...
214
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of types in typical scripting languages means that programmers must (re)disc...
166
Voted
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
146
Voted
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...