Mads Tofte

Mads Tofte

2 ספרים במאגר

ספרים

Compiler GeneratorsMads Tofte

Compiler Generators

Mads Tofte · 1990

Proof, language, and interactionMads Tofte

Proof, language, and interaction

Mads Tofte · 2000

ספרים משותפים ואוספים

ספרים שבהם Mads Tofte מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

The definition of standard MLR. Milner

The definition of standard ML

R. Milner · 1997