Travelled to:1 × France
Collaborated with:P.Hudak
Talks about:connect (1) between (1) linear (1) monad (1) type (1) roll (1) madt (1) own (1)
Person: Chih-Ping Chen
DBLP: Chen:Chih=Ping
Contributed to:
1997Wrote 1 papers:
- POPL-1997-ChenH #linear #monad
- Rolling Your Own MADT — A Connection Between Linear Types and Monads (CPC, PH), pp. 54–66.