Two-level functional languages
Auteur :
Nielson, Flemming / Nielson, Hanne Riis
Éditeur :
Cambridge University Press
ISBN :
9780521018470
Date de publication :
22 août 2005
Dimensions :
24,4 x 17,0 x 1,7 cm
Poids :
493 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved.