8 citations · 22 across the 6 of their papers we have counts for
1 paper · 1 filter
Sam Lindley, J. Garrett Morris
Recently, Wadler presented a continuation-passing translation from a session-typed functional language, GV, to a process calculus based on classical linear logic, CP. However, this…