Commit 49cf4d39 authored by Pietro Abate's avatar Pietro Abate

[r2007-01-23 18:14:45 by cmiachon] typo \cduce{}

Original author: cmiachon
Date: 2007-01-23 18:14:45+00:00
parent b4c44596
......@@ -28,7 +28,7 @@ functional kernel of the language, in particular its type
system and its type-driven dynamic semantics. The second part
focuses on the algorithmical aspects: computing the subtyping relation
and compiling pattern matching with optimizations. The third part
presents the \cduce{} language, built on top of the functional kernel,
presents the CDuce language, built on top of the functional kernel,
together with some of the original techniques used in its
implementation.
</p>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment