IV Higher Order Workshop, Banff 1990
Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10-14 September 1990
It is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional programming. The advantage of higher order descriptions - that they can be very succinct and clear - has been percolating through ever since. Current research topics range from the design, implementation and use of higher order proof assistants and theorem provers, through program specification and verification, and programming language design, to its applications in hardware description and verification. The papers in this book represent the presentations made at a workshop held at Banff, Canada,…
Mehr
CHF 126.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
- ISBN: 978-3-540-19660-0
- EAN: 9783540196600
- Produktnummer: 16126559
- Verlag: Springer London
- Sprache: Englisch
- Erscheinungsjahr: 1991
- Seitenangabe: 296 S.
- Masse: H24.2 cm x B17.0 cm x D1.6 cm 511 g
- Auflage: Softcover reprint of the original 1st ed. 1991
- Abbildungen: Paperback
- Gewicht: 511
7 weitere Werke von Graham (Hrsg.) Birtwistle:
Bewertungen
Anmelden