H ? « ‹ ← → › »

Language peer sets for HOLCF:
Germany↑
Germany/1994↑
Designed 1994 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

HOLCF(ID:3310/hol004)

alternate simple view
Country: Germany
Designed 1994

integration of HOL and LCF
Related languages
Cambridge LCF → HOLCF   Evolution of
HOL → HOLCF   Evolution of
References:
  • Regensburger, F. (1994) Regensburger, F. HOLCF: Eine konservative Erweiterung von HOL um LCF. PhD thesis, Technische Universitat Munchen, 1994
  • Olaf Müller, Tobias Nipkow, David von Oheimb, Osca (1999) Olaf Müller, Tobias Nipkow, David von Oheimb, Oscar Slotosch "HOLCF = HOL + LCF" Journal of Functional Programming 1999 Abstract ps
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder