Higher Order Functions Considered Unnecessary for Higher Order Programming (1990)

Cached

Download Links

by Joseph A. Goguen
Venue:SRI International, 333 Ravenswood Ave., Menlo Park CA 94025
Citations:8 - 0 self

Documents Related by Co-Citation

1312 Monads for functional programming – Philip Wadler - 1995
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
274 An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types – J A Goguen, J W Thatcher, E Wagner - 1976
427 Introduction to higher order categorical logic – J Lambek, P J Scott - 1986
537 The Implementation of Functional Programming Languages – S L Peyton Jones - 1987
61 Higher-Order Horn Clauses – Gopalan Nadathur, Dale Miller - 1990
177 An overview of >'Prolog – Gopalan Nadathur, Dale Miller - 1988
88 Higher-order extensions to Prolog: are they needed – D Warren - 1982
217 An introduction to the theory of lists – R Bird - 1987
733 Notions of Computation and Monads – Eugenio Moggi - 1991
924 Categories for the Working Mathematician – Saunders Mac Lane - 1971
3 An introduction to the algebraic specification of abstract data types. Available online – Jean Baillie - 1989
3 A survey of higher-order algebra – Karl Meinke - 1995
6 On the existence of initial models for partial (higher-order) conditional specifications – E Astesiano, M Cerioli - 1989
4 Theory of Computation: An introduction – J L Hein - 1996
3 Category Theory in Four Easy Movements – Harold Simmons, Andrea Schalk - 2003
4 Type theories and object-oriented programmimg – Scott Danforth, Chris Tomlinson - 1988
23 A gentle introduction to category theory --- the calculational approach – Maarten M. Fokkinga - 1992
23 theories and freeness: an introduction for computer scientists’, in: Theoretical Foundations of Programming Methodology, edited by M. Wirsing and G – R Burstall, J Goguen, ‘Algebras - 1982