When you work at only one level of abstraction, current type systems are already great. When you work at several levels of abstractions... they mostly don't even try yet.
-
-
That was clear on the front page in French, now it's clearer in both languages.
-
Thanks for clearing that up, and good luck with your writing and defense... I'm taking a look.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!