Travelled to:2 × USA
Collaborated with:M.D.Adams A.W.Keep J.Midtgaard M.Might R.K.Dybvig E.Holk W.E.Byrd J.Willcock T.Hoefler A.Lumsdaine
Talks about:recoveri (1) explicit (1) communic (1) languag (1) sensit (1) linear (1) declar (1) kanor (1) type (1) time (1)
Person: Arun Chauhan
DBLP: Chauhan:Arun
Contributed to:
2011
2011Wrote 2 papers:
- OOPSLA-2011-AdamsKMMCD #polynomial
- Flow-sensitive type recovery in linear-log time (MDA, AWK, JM, MM, AC, RKD), pp. 483–498.
- PADL-2011-HolkBWHCL #communication #declarative #named
- Kanor — A Declarative Language for Explicit Communication (EH, WEB, JW, TH, AC, AL), pp. 190–204.