H ? « ‹ ← → › »

Language peer sets for TAL/T:
United States↑
United States/1998↑
Designed 1998 ↑
1990s languages ↑
Internet↑
New internationlism↑

TAL/T(ID:3709/tal009)

alternate simple view
Country: United States
Designed 1998

A type safe assembly language, derived from TAL
Related languages
TAL → TAL/T   Derivation of
TAL/T → Cyclone   Compiled to
References:
  • Hornof, Luke and Trevor Jim. (1999) Hornof, Luke and Trevor Jim. Certifying Compilation and Run-time Code Generation Abstract pdf
          in [PESBPM 1999] (1999) the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, TX, USA, January 1999.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder