Travelled to:1 × South Korea
2 × USA
Collaborated with:∅ M.Yasugi T.Hiraishi T.Komiya T.Yuasa
Talks about:implement (1) backtrack (1) techniqu (1) calculus (1) practic (1) languag (1) convent (1) continu (1) ambient (1) recurs (1)
Person: Seiji Umatani
DBLP: Umatani:Seiji
Contributed to:
2014
2010
2009Wrote 3 papers:
- SAC-2014-Umatani #calculus #implementation
- Practical implementation techniques of ambient calculus in conventional dynamic languages (SU), pp. 1345–1351.
- ILC-2010-YasugiKHU #continuation #recursion
- Managing continuations for proper tail recursion (MY, TK, TH, SU), pp. 65–72.
- PPoPP-2009-HiraishiYUY #backtracking
- Backtracking-based load balancing (TH, MY, SU, TY), pp. 55–64.