28 citations · 82 across the 19 of their papers we have counts for
1 paper · 2 filters
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…