马泰奥·西米尼
人员信息
优化列表
2020年–今天
2024 [公元32年] 塞斯·加拉索 , 马泰奥·西米尼 :
带子类型的函数语言的语言参数化证明。 FLOPS(浮动) 2024 : 291-310 [i3] 马泰奥·西米尼 :
从程序逻辑到语言逻辑。 CoRR公司 abs/2408.01515 ( 2024 ) 2023 [公元31年] 马泰奥·西米尼 :
面向编程语言证明方法的复杂性分析。 ICTAC公司 2023 : 100-118 [公元30年] 马泰奥·西米尼 :
使用“语言即数据库”方法测试语言。 TAP接头 2023 : 108-126 [公元29年] 马泰奥·西米尼 :
GSOS语言的声明性验证器。 地点@ETAPS 2023 : 14-25 2022 [公元28年] 马泰奥·西米尼 :
用于语言分析的查询语言。 SEFM公司 2022 : 57-73 [公元27年] 马泰奥·西米尼 :
语言证明:语言证明的DSL。 SLE公司 2022 : 16-29 [公元26年] 马泰奥·西米尼 :
语言发送:发送语言的进程。 地点@ETAPS 2022 : 46-56 [公元25年] 马泰奥·西米尼 :
Lang-n-Send扩展:向监视器发送正则表达式。 内燃机 2022 : 69-84 2021 [公元24年] 马泰奥·西米尼 :
多语言操作语义学微积分。 VSTTE公司 2021 : 25-42 【c23】 马泰奥·西米尼 , 本杰明·穆拉德 :
课堂上的语言转换。 快递/SOS 2021 : 43-58 2020 [公元22年] 马泰奥·西米尼 :
高阶逻辑程序设计在面向语言程序设计中的有效性。 FLOPS(浮动) 2020 : 106-123 [c21] 本杰明·穆拉德 , 马泰奥·西米尼 :
系统描述:Lang-n-Change-转换语言的工具。 FLOPS(浮动) 2020 : 198-214 [公元20年] 本杰明·穆拉德 , 马泰奥·西米尼 :
具有语言转换的声明渐变器。 国际单项体育联合会 2020 : 44-54 [第19条] 马泰奥·西米尼 , 戴尔·米勒 , 杰里米·西克 :
函数语言的外部类型操作语义。 SLE公司 2020 : 108-125 [第18条] 本杰明·穆拉德 , 马泰奥·西米尼 :
语言转换微积分。 SOFSEM公司 2020 : 547-555
2010 – 2019
2019 [第17条] 马泰奥·西米尼 :
使用语言类型检查器教授功能语言设计基础的早期经验。 全要素生产率 2019 : 21-37 [第16条] 马泰奥·西米尼 :
Pi-Calculus中的逐步类型化能力。 内燃机 2019 : 61-76 [i2] 本杰明·穆拉德 , 马泰奥·西米尼 :
语言转换微积分。 CoRR公司 abs/1910.11924 ( 2019 ) 2018 [j6] 蒂莫西·扎基安 , 特雷弗·L·麦克唐纳 , 马泰奥·西米尼 , 瑞安·R·牛顿 :
Ghostbuster:简化和转换GADT的工具。 J.功能。 程序。 28 : e16(电子16) ( 2018 ) [第15条] 马泰奥·西米尼 :
语言是一流公民(愿景文件)。 SLE公司 2018 : 65-69 [电子1] 马泰奥·西米尼 , 杰-麦卡锡 :
2018年9月5日至7日在美国马萨诸塞州洛厄尔举行的第30届函数式语言实施和应用研讨会论文集。 ACM公司 2018 ,国际标准图书编号 978-1-4503-7143-8 [目录] 2017 [第14条] 马泰奥·西米尼 , 杰里米·西克 :
自动生成渐变类型语言的动态语义。 POPL公司 2017 : 789-803 2016 [j5] 阿里·贾法里 , Ehsan Khamespanah公司 , 马尔扬·西尔贾尼 , 霍尔格·赫尔曼斯 , 马泰奥·西米尼 :
PTRebeca:分布式和异步系统的建模和分析。 科学。 计算。 程序。 128 : 22-50 ( 2016 ) [第13条] 马泰奥·西米尼 , 杰里米·西克 :
数据流中间语言中无种族可变引用的分数权限。 PMLDC@ECOOP 2016 : 8 [c12] 特雷弗·L·麦克唐纳 , 蒂莫西·扎基安 , 马泰奥·西米尼 , 瑞安·R·牛顿 :
Ghostbuster:简化和转换GADT的工具。 ICFP公司 2016 : 338-350 [第11条] 马泰奥·西米尼 , 杰里米·西克 :
渐变器:生成渐变型系统的方法和算法。 POPL公司 2016 : 443-455 [i1] 马泰奥·西米尼 , 戴尔·米勒 , 杰里米·西克 :
良好类型的语言是健全的。 CoRR公司 abs/1611.05105 ( 2016 ) 2015 [第10条] 考斯特夫·乔杜里 , 马泰奥·西米尼 , 戴尔·米勒 :
双向模拟元理论的轻量级形式化。 清洁石油产品 2015 : 157-166 【c9】 杰里米·西克 , 迈克尔·维托塞克 , 马泰奥·西米尼 , 萨姆·托宾-霍奇斯塔特 , 罗纳德·加西亚 :
高效渐变类型的单调参考。 员工持股计划 2015 : 432-456 【c8】 罗纳德·加西亚 , 马泰奥·西米尼 :
渐进式课程的主要类型方案。 POPL公司 2015 : 303-315 【c7】 杰里米·西克 , 迈克尔·M·维托塞克 , 马泰奥·西米尼 , 约翰·唐博伊兰 :
逐步打字的改进标准。 SNAPL公司 2015 : 274-293 2014 【j4】 阿尼·赫尔曼·雷尼松 , 马尔扬·西尔贾尼 , 卢卡·埃特罗 , 马泰奥·西米尼 , 阿里·贾法里 , Anna Ingólfsdóttir女士 , 斯坦纳·雨吉·西古尔达森(Steinar Hugi Sigurdarson) :
使用Timed Rebeca对异步实时系统进行建模和仿真。 科学。 计算。 程序。 89 : 41-68 ( 2014 ) 2012 [j3] 卢卡·埃特罗 , 马泰奥·西米尼 , Anna Ingólfsdóttir女士 :
使用规则匹配双相似性证明GSOS语言中方程的有效性。 数学。 结构。 计算。 科学。 22 ( 2 ) : 291-331 ( 2012 ) [注2] 卢卡·埃特罗 , 马泰奥·西米尼 , Anna Ingólfsdóttir女士 , 穆罕默德·雷扎·穆萨维 , 米歇尔·雷尼尔斯 :
分配性的规则格式。 西奥。 计算。 科学。 458 : 1-28 ( 2012 ) 【c6】 马泰奥·西米尼 , 穆罕默德·雷扎·穆萨维 , 米歇尔·雷尼尔斯 , 默多克·詹姆斯·加巴伊 :
标称SOS。 MFPS公司 2012 : 103-116 2011 [j1] 卢卡·埃特罗 , 马泰奥·西米尼 , Anna Ingólfsdóttir女士 , 穆罕默德·雷扎·穆萨维 , 米歇尔·雷尼尔斯 :
零元素和单位元素的SOS规则格式。 西奥。 计算。 科学。 412 ( 28 ) : 3045-3071 ( 2011 ) 【c5】 卢卡·埃特罗 , 马泰奥·西米尼 , Anna Ingólfsdóttir女士 , 穆罕默德·雷扎·穆萨维 , 米歇尔·雷尼尔斯 :
分布性的规则格式。 拉丁美洲旅游协会 2011 : 80-91 【c4】 卢卡·埃特罗 , 马泰奥·西米尼 , Anna Ingólfsdóttir女士 , 阿尼·赫尔曼·雷尼松 , 斯坦纳·雨吉·西古尔达森(Steinar Hugi Sigurdarson) , 马尔扬·西尔贾尼 :
使用定时Rebeca的异步实时系统建模与仿真。 FOCLASA公司 2011 : 1-19 2010 【c3】 马泰奥·西米尼 , 克劳迪奥·萨塞尔多蒂·科恩 , 戴维德·桑吉奥吉 :
作为过程的功能:终止和lm[(m)\tilde]\lambda\mu\widetilde{\mu}-微积分。 TGC公司 2010 : 73-86 【c2】 卢卡·埃特罗 , 马泰奥·西米尼 , Anna Ingólfsdóttir女士 , 穆罕默德·雷扎·穆萨维 , 米歇尔·雷尼尔斯 :
关于零元素和单位元素的规则格式。 MFPS公司 2010 : 145-160
2000 – 2009
2009 【c1】 卢卡·埃特罗 , 马泰奥·西米尼 , Anna Ingólfsdóttir女士 :
基于互模拟的GSOS语言方程有效性证明方法。 紧急求救信号 2009 : 1-16