Typechecking is undecideable when 'type' is a type (1989) [pdf]
https://dspace.mit.edu/bitstream/handle/1721.1/149366/MIT-LCS-TR-458.pdf
#HackerNews #Typechecking #undecidability #type #theory #1989 #MIT #research #pdf
#Tag
Typechecking is undecideable when 'type' is a type (1989) [pdf]
https://dspace.mit.edu/bitstream/handle/1721.1/149366/MIT-LCS-TR-458.pdf
#HackerNews #Typechecking #undecidability #type #theory #1989 #MIT #research #pdf
A space for Bonfire maintainers and contributors to communicate