22 Oct
2014
22 Oct
'14
5:26 a.m.
Hi, Is the current description of Core still System FC_2 (described in https://www.seas.upenn.edu/~sweirich/papers/popl163af-weirich.pdf)?