Travelled to:1 × Japan
1 × Spain
Collaborated with:∅ M.Fernández I.Mackie
Talks about:call (2) interact (1) director (1) string (1) reduct (1) effici (1) token (1) valu (1) pass (1) name (1)
Person: François-Régis Sinot
DBLP: Sinot:Fran=ccedil=ois=R=eacute=gis
Contributed to:
2005
2003Wrote 2 papers:
- TLCA-2005-Sinot #call-by #interactive
- Call-by-Name and Call-by-Value as Token-Passing Interaction Nets (FRS), pp. 386–400.
- RTA-2003-SinotFM #performance #reduction #string
- Efficient Reductions with Director Strings (FRS, MF, IM), pp. 46–60.