366 search results - page 8 / 74 » Model-checking higher-order functions |
143
Voted
APPML
2010
15 years 3 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...
126
click to vote
KI
2008
Springer
15 years 3 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...
133
Voted
AFP
1995
Springer
15 years 7 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...
97
Voted
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
137
click to vote
WSCG
2003
15 years 5 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...