Collaborated with:
W.J.Bowman Youyou Cong A.Ahmed
Talks about:
type (2) not (2) translat (1) preserv (1) possibl (1) cps (1)
Person: Nick Rioux
DBLP: Rioux:Nick
Contributed to:
Wrote 1 papers:
- POPL-2018-BowmanCRA #continuation
- Type-preserving CPS translation of Σ and Π types is not not possible (WJB, YC, NR, AA), p. 33.