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