28 Sep
2006
28 Sep
'06
10:22 a.m.
| Does anything go wrong with irrefutable patterns for existential types? Try giving the translation into System F. Simon