Documentation

Here you will find the official documentation for kiltera.

Currently there is only an introductory presentation, and the Ph.D. thesis describing the language in detail, including its formal semantics and implementation. In a few weeks I'll post a more detailed tutorial to the language and the simulator.

If you are looking for installation instructions, go here.
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
View Download
Slides introducing kiltera's basic constructs.  1370k v. 2 Oct 29, 2009, 12:11 PM Ernesto Posse
Ċ
View Download
  145k v. 1 Jun 18, 2012, 9:00 AM Ernesto Posse
Ċ
View Download
Dissertation introducing kiltera, its formal semantics, theory, implementation and applications.  2387k v. 1 Oct 29, 2008, 9:41 AM Ernesto Posse
Comments