5451 search results - page 121 / 1091 » Typed Operational Semantics |
119
Voted
JFLP
2002
15 years 3 months ago
2002
We consider prescriptive type systems for logic programs (as in G
136
Voted
PLDI
1989
ACM
15 years 7 months ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...
132
click to vote
FOSSACS
2003
Springer
15 years 8 months ago
2003
Springer
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
102
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
119
Voted
ISCI
2008
15 years 3 months ago
2008
Multiview intelligent data analysis explores data from different perspectives to reveal various types of structures and knowledge embedded in the data. Each view may capture a spe...