Toggle navigation
TagTeam
About
Hubs
Sign in
Home
Gudgeon and gist
composition.al
Why does a Turing-complete type system make type checking undecidable?
Why does a Turing-complete type system make type checking undecidable?
composition.al 2017-03-12
Item
About
Edit
Filters
Related items
Link:
http://composition.al/blog/2017/02/27/why-does-a-turing-complete-type-system-make-type-checking-undecidable/
Updated:
02/27/2017, 21:50
From feeds:
Gudgeon and gist
ยป
composition.al
Tags:
Date tagged:
03/12/2017, 08:49
Date published:
03/12/2017, 08:49