Use statically built FunctionTypes table in closures for finding canonical functional type for a given closure. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||
Use statically built FunctionTypes table in closures for finding canonical functional type for a given closure. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||