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 103.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
- ISBN: 978-1-4471-3182-3
- EAN: 9781447131823
- Produktnummer: 37280605
- Verlag: Springer London
- Sprache: Englisch
- Erscheinungsjahr: 2012
- Seitenangabe: 285 S.
- Plattform: PDF
- Auflage: 1991
7 weitere Werke von Graham (Hrsg.) Birtwistle:
Bewertungen
Anmelden