353 followers
This paper introduces a synthesis rule for a bidirectional type system for visible type applications, and it's pretty simple. https://t.co/xEjHInRTrc https://t.co/VA4UMhSCOV
This paper introduces a synthesis rule for a bidirectional type system for visible type applications, and it's pretty simple. https://t.co/xEjHInRTrc https://t.co/VA4UMhSCOV
It has come to my attention that reading academic papers is kinda hard sometimes. The symbols... My head... https://t.co/ZX0DNHFtjM https://t.co/hRHNzkNl1F
Open Access UCL Research: Probabilistic NetKAT https://t.co/LkCtb6Pdxn