H ? « ‹ ← → › »

Language peer sets for CUCH:
United States↑
United States/1966↑
Designed 1966 ↑
1960s languages ↑
Third generation↑
High Cold War↑
Genus Lazy Evaluation FPs ↑
Lazy Evaluation FPs↑
FPs↑
Lambda caculus ↑
Lazy Evaluation FPs/1966↑
FPs/1966↑
Lambda caculus/1966↑
Lazy Evaluation FPs/United States↑
FPs/United States↑
Lambda caculus/United States↑

CUCH (392/cuc001)

 logo
alternate simple view
Country: United States
Designed 1966
Published: 1966
Genus: Lazy Evaluation FPs

for CUrry-CHurch

Amalgam  of  Curry's language of combinators and of Church's lambda calculus

People:
Related languages
Church typed-lambda calculus → CUCH   Influence
Curry Combinatorials → CUCH   Influence
References:
  • Caporoso, S. (1963) Caporoso, S. "A symbolic description of ELEA 6001 computer" ICC Bull. 2, 4 (Oct. 1963), 238-240.
  • Reynolds, John C. (1964) Reynolds, John C. review of Caporoso 1963 Abstract
  • Boehm, C.; Giovanucci, R.: (1966) Boehm, C.; Giovanucci, R.: "Circuiti sequenziale ed analogici e loro descrizione mediante il CUCH" Roma: Istituto Nazionale per le Applicazione del Calcolo, and International Computation Center
  • Bohm, C. et al, (1966) Bohm, C. et al, "Introduction to the CUCH" pp.35-65.
          in Automata Theory, E.R. (1966) Automata Theory, E.R. Caianiello ed, A-P 1966
  • BOHM, C.; (1966) BOHM, C.; "The CUCH as a formal and description language" in "Formal Language Description Languages for Computer Programming" Amsterdam North Holland
          in Automata Theory, E.R. (1966) Automata Theory, E.R. Caianiello ed, A-P 1966
  • Venturini Zilli, M.: (1966) Venturini Zilli, M.: "CUCH - algorithm programme" Roma: Istituto Nazionale per le Applicazione del Calcolo and International Computation Center
          in Automata Theory, E.R. (1966) Automata Theory, E.R. Caianiello ed, A-P 1966
  • Scott, Dana; (1969) Scott, Dana; "A Type-Theoretical Alternative to CUCH, ISWIM, OWHY", Oxford U 1969.
          in Automata Theory, E.R. (1966) Automata Theory, E.R. Caianiello ed, A-P 1966
  • Milner, Robin (1972) Milner, Robin "Implementation and applications of Scott's logic for computable functions" pp1-6
          in [PAAP 1972] (1972) SIGPLAN Notices 7(01) January 1972 [ACM] Proc. ACM Conf. on Proving Assertions about Programs. New Mexico State University, Las Cruces, New Mexico (1972)
  • Stock and Stock (1973) Stock, Marylene and Stock, Karl F. "Bibliography of Programming Languages: Books, User Manuals and Articles from PLANKALKUL to PL/I" Verlag Dokumentation, Pullach/Munchen 1973 157 Abstract
          in [PAAP 1972] (1972) SIGPLAN Notices 7(01) January 1972 [ACM] Proc. ACM Conf. on Proving Assertions about Programs. New Mexico State University, Las Cruces, New Mexico (1972)
  • V. Bono and I. Salvo. (2001) V. Bono and I. Salvo. "A CuCh Interpretation of a Class-Based Object-Oriented Language" In J.J.Levy editor Proceedings of Workshop on Boehm Theorem: applications to Computer Science Theory (BOTH'01), volume 50(2) of Electronic Notes in Theoretical Computer Science, July 2001. Abstract Abstract Online copy
          in [PAAP 1972] (1972) SIGPLAN Notices 7(01) January 1972 [ACM] Proc. ACM Conf. on Proving Assertions about Programs. New Mexico State University, Las Cruces, New Mexico (1972)
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder