University of Birmingham, UK;
Continuations; functional programming; lambda cal-culus; parsing; semantics; types; verification;
机译:解析表达式文法中的左递归
机译:一种新的自顶向下解析算法,可解决多项式时间内的歧义和左递归
机译:连续传递风格的并发语义
机译:解析动作的功能语义,以及作为延续传递的左递归消除
机译:适应C的延续通过风格(CPS)的方法:案例研究
机译:Hemiazygos继续孤立的左侧左侧腔静脉进入持久的左侧腔静脉:罕见的左异构性协会
机译:解析动作的功能语义,以及在继续传递时消除左递归