1636 search results - page 156 / 328 » Type-Theoretic Functional Semantics |
103
click to vote
WWW
2001
ACM
16 years 4 months ago
2001
ACM
Content understanding is a crucial issue for website adaptation. In this paper we present a Function-based Object Model (FOM) that attempts to understand authors' intention b...
149
Voted
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
139
click to vote
POPL
1998
ACM
15 years 8 months ago
1998
ACM
We present a formal specification of unCurrying for a higher-order, functional language with ML-style let-polymorphism. This specification supports the general unCurrying of func...
126
click to vote
FPCA
1989
15 years 8 months ago
1989
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “ob...
120
Voted
ICFP
2009
ACM
15 years 10 months ago
2009
ACM
The evolution of Web sites towards very dynamic applications makes it necessary to reconsider current Web programming technologies. We believe that Web development would benefit ...