Lab for Automated Reasoning and Analysis LARA

Exercices 05

Write down the type derivation tree for the example for type checking seen in the course.

Solution

 
cc09/exercises_05.txt · Last modified: 2009/10/21 17:24 by losa
 
© EPFL 2018 - Legal notice