Collaborated with:
Mohan Kumar Steffen Maass S.Kashyap Zi Yan T.Kim A.Bhattacharjee T.Krishna
Talks about:
translat (1) coher (1) lazi (1) latr (1)
Person: Ján Veselý
DBLP: Vesel=yacute=:J=aacute=n
Contributed to:
Wrote 1 papers:
- ASPLOS-2018-KumarMKVYKBK #lazy evaluation #named
- LATR: Lazy Translation Coherence (MK, SM, SK, JV, ZY, TK, AB, TK), pp. 651–664.