Current release of TYPICAL for Prolog supports meta-types

• White paper on meta-types:
  Christoph Beierle, Reinhold Kloos and Gregor Meyer. "A pragmatic type concept for Prolog supporting polymorphism, subtyping, and meta-programming", Workshop on Verification of Logic Programs within ICLP'99, Las Cruces, NM, 1999. Electronic Notes in Theoretical Computer Science, Volume 30, Issue 1. Elsevier, 2000. Here available: gzip'ped postscript, BibTeX entry

• Details on the original concept of TYPICAL:
  Gregor Meyer. "On Types and Type Consistency in Logic Programming", PhD thesis, FernUniversität Hagen, 1999. Published as volume 235 of DISKI, Akademische Verlagsgesellschaft Aka, Berlin, 2000. Here available: gzip'ped postscript, BibTeX entry

• Download the current release (source distribution)

• Go to original releases