Typechecking is undecidable when 'type' is a type (1989) [pdf] (dspace.mit.edu) 3 points by zem 1y ago ↗ HN
0 comments
[ 4.8 ms ] story [ 15.9 ms ] threadNo comments yet.