2932 search results - page 51 / 587 » Higher order mining |
CADE
1998
Springer
15 years 4 months ago
1998
Springer
107
click to vote
POPL
1998
ACM
15 years 4 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...
FSTTCS
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
144
click to vote
FTP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. First-order modal logic, in the usual formulations, is not sufficiently expressive, and as a consequence problems like Frege's morning
RTA
1998
Springer
15 years 4 months ago
1998
Springer