|
" Higher order workshop : "
ed. by Graham Birtwistle.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745400
|
| Doc. No
|
:
|
b565349
|
| Main Entry
|
:
|
ed. by Graham Birtwistle.
|
| Title & Author
|
:
|
Higher order workshop : : proceedings of the 4th higher order workshop, Banff, Alberta, Canada, 10-14 September 1990\ ed. by Graham Birtwistle.
|
| Publication Statement
|
:
|
Berlin : Springer, 1991
|
| Series Statement
|
:
|
Workshops in computing; Higher order workshop : proceedings, 4
|
| Page. NO
|
:
|
x, 283 pages.
|
| ISBN
|
:
|
0387196609
|
|
|
:
|
: 3540196609
|
|
|
:
|
: 9780387196602
|
|
|
:
|
: 9783540196600
|
| Contents
|
:
|
Partially Deterministic Functions.- Nondeterministic Functional Programming with Sets.- Algebra as a Tool for Real Time Analysis.- The Study of Butterflies.- Sorts of Butterflies.- A Fast Flutter by the Fourier Transform.- Parallel Computations and Delay-Insensitive Circuits.- The Nature of Delay-Insensitive Computing.- A Higher Order Logic Mechanization of the CSP Failures-Divergence Semantics.- Partial Functions, Ordered Categories, Limits and Cartesian Closure.- Evaluation Logic.- Conditional Control is Not Quite Categorical Control.- Simple Type Theory in EVES.- Formal Synthesis.- Proving (Facts About) Ruby.- Author Index.
|
| Added Entry
|
:
|
Graham Birtwistle
|
| |