3 ms·
Yeah, I think that would be clear even if I didn't speak German, which I do. I'm curious what their semantics are / what they're for.
by taejo 9y ago
Yeah, I think that would be clear even if I didn't speak German, which I do. I'm curious what their semantics are / what they're for.
- 80386 9y agoBauer and Woessner [1] weren't very clear on their semantics, but according to Bruines [2], they're type annotations. [1] https://web.archive.org/web/20090220012346/http://delivery.acm.org/10.1145/370000/361515/p678-bauer.pdf?key1=361515&key2=3342588511&coll=&dl=acm&CFID=15151515&CFTOKEN=6184618 https://web.archive.org/web/20090220012346/http://delivery.a... [2] http://www.cs.ru.nl/bachelorscripties/2010/Bram_Bruines___0213837___Plankalkul.pdf http://www.cs.ru.nl/bachelorscripties/2010/Bram_Bruines___02...