Calculus; Formal Models; Programming Languages; Semantics; Services Computing;
机译:第46届国际自动机,语言和编程(ICALP 2019) - 轨道C:网络和多功能系统的基础
机译:塑造编程语言的基础
机译:编程语言基础(第二版)
机译:PSI-CAL:服务计算编程语言的基础
机译:一种依赖类型的编程语言,可应用于基本的确定性代码系统。
机译:对罗伯特·伍德·约翰逊基金会(Robert Wood Johnson Foundation)的医院赞助的门诊牙科服务计划的评估。
机译:扩展编程语言以应对面向服务的计算挑战