Travelled to:
1 × France
Collaborated with:
C.L.Ong
Talks about:
function (1) foundat (1) control (1) howard (1) comput (1) curri (1)
Person: Charles A. Stewart
DBLP: Stewart:Charles_A=
Contributed to:
Wrote 1 papers:
- POPL-1997-OngS #functional
- A Curry-Howard Foundation for Functional Computation with Control (CHLO, CAS), pp. 215–227.