3 search results - page 1 / 1 » Es: A shell with higher-order functions |
64
Voted
USENIX
1993
15 years 28 days ago
1993
APLAS
2004
ACM
15 years 5 months ago
2004
ACM
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
117
Voted
TPHOL
1999
IEEE
15 years 3 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...