Seoul National University, Korea;
机译:类似于Lisp的多阶段语言的多态模式类型系统
机译:1型肝肾综合征的持续复发以及特利加压素和白蛋白的长期治疗:肝移植分配系统中MELD评分的新例外?
机译:呼叫姓名例外的类型系统
机译:多阶段异常的类型和效果系统
机译:用于多主体系统的工程异常处理策略,以增强分布式业务流程的运营效率。
机译:多状态信息系统药物例外系统:质量保证工具
机译:多阶段例外的类型和效果系统
机译:分布式对象系统中的协调异常处理:从模型到系统实现