489 followers
RT @jjcarett2: @andrasKovacs6 @brendanzab I'm in favour of that stance. The most interesting work wrt staging & dependent types that I know…
RT @jjcarett2: @andrasKovacs6 @brendanzab I'm in favour of that stance. The most interesting work wrt staging & dependent types that I know…
@andrasKovacs6 @brendanzab I'm in favour of that stance. The most interesting work wrt staging & dependent types that I know is Igarashi's https://t.co/TLLBiZnkiD (also on arxiv).