Two-Level Functional Languages

This book provides a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times.

Weitere Produkte vom selben Autor

Download
PDF
Semantics with Applications: An Appetizer Hanne Riis Nielson, Flemming Nielson

35,69 €*
Formal Methods Riis Nielson, Hanne, Nielson, Flemming

53,49 €*
Principles of Program Analysis Nielson, Flemming, Hankin, Chris, Nielson, Hanne R.

80,24 €*
Principles of Program Analysis Nielson, Flemming, Hankin, Chris, Nielson, Hanne R.

53,49 €*