Departamento de Informatica, Faculdade de Ciencias, Universidade de Lisboa, 1749-016 Lisboa, Portugal;
session types; static typechecking; concurrent programming; specification of communication protocols;
机译:使用会话类型进行类型检查多线程功能语言
机译:基于教室的功能高强度电路训练的微观会增强功能强度,但在学校儿童中没有心肺刺激性健身 - 可行性研究
机译:基于教室的功能高强度电路训练的微观会增强功能强度,但在学校儿童中没有心肺气体健身 - 一个可行性研究
机译:线性多线程功能编程的会话类型
机译:使用不同类型任务中搜索会话中的交互行为来个性化信息检索。
机译:基于教室的功能性高强度电路训练的微型课程可增强小学生的功能强度但不能增强心肺功能的适应性研究
机译:使用会话类型进行类型检查多线程功能语言