艾尔维拉·阿尔伯特;尼古拉斯·贝齐吉安尼斯;弗兰克·德波尔;恩里克·马丁·马汀 从具有协作调度的参与者到Haskell的正式的、保留资源消耗的翻译。 (英语) 兹比尔1497.68090 芬丹。通知。 177,编号3-4,203-234(2020).MSC公司:68甲18 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,Fundam。通知。177,编号3--4,203-234(2020;Zbl 1497.68090) 全文: DOI程序
拉斐尔·卡巴列罗;恩里克·马丁·马汀;阿德里安·里斯科;萨尔瓦多塔马利特 用于声明性调试的核心Erlang语义。 (英语) Zbl 1431.68016号 J.日志。代数。方法计划。 107, 1-37 (2019).MSC公司:68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Caballero}等人,J.Log。代数。方法计划。107,1--37(2019年;Zbl 1431.68016) 全文: DOI程序
拉斐尔·卡巴列罗;恩里克·马丁·马汀;阿德里安·里斯科;萨尔瓦多塔马利特 并发Erlang程序的声明性调试。 (英语) Zbl 1400.68052号 J.日志。代数。方法计划。 101, 22-41 (2018).MSC公司:68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Caballero}等人,J.Log。代数。方法计划。101、22-41(2018;Zbl 1400.68052) 全文: DOI程序
Lopez-Fraguas,Francisco J。;恩里克·马丁·马汀;胡安·罗德里格斯·霍塔拉;桑切斯·埃尔南德斯,詹姆 重写和缩小具有调用时选择语义的构造函数系统。 (英语) Zbl 1286.68265号 理论与实践。日志。程序。 14,第2期,165-213(2014).MSC公司:2012年第68季度 03B70号 68问题55 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.J.López-Fraguas}等人,《理论与实践》。日志。程序。14,第2号,165--213(2014;Zbl 1286.68265) 全文: DOI程序 arXiv公司