366 search results - page 8 / 74 » Model-checking higher-order functions |
113
click to vote
APPML
2010
14 years 12 months ago
2010
In this paper, we apply a fixed point theorem to obtain sufficient conditions for the existence of positive periodic solutions for two classes of higher-order functional differenc...
KI
2008
Springer
14 years 11 months ago
2008
Springer
In this paper we suggest a typed compositional semantics for nominal compounds of the form [Adj Noun] that models adjectives as higher-order polymorphic functions, and where types...
AFP
1995
Springer
15 years 3 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
APLAS
2005
ACM
15 years 5 months ago
2005
ACM
103
click to vote
WSCG
2003
15 years 1 months ago
2003
The computation of global illumination in a dynamic scene constitutes a real challenge in computer graphics. In radiosity algorithms, this problem is far from being easy, especial...