Typechecking is undecidable when 'type' is a type (1989) [pdf] (dspace.mit.edu) 3 points by zem 11mo ago ↗ HN
0 comments
[ 0.39 ms ] story [ 11.8 ms ] threadNo comments yet.