马修·卢茨
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2023 [j3] 马格努斯·马德森 , 乔纳森·林德加德·斯塔鲁 , 马修·卢茨 :
可限制变体:可扩展变体(工件)的一种简单实用的替代方案。 Dagstuhl Artifacts爵士。 9 ( 2 ) : 12:1-12:3 ( 2023 ) [注2] 马修·卢茨 , 马格努斯·马德森 , 菲利普·舒斯特 , Jonathan Immanuel Brachthä用户 :
有没有你:带效果排除的编程。 程序。 ACM计划。 语言。 7 ( ICFP公司 ) : 448-475 ( 2023 ) 【c1】 马格努斯·马德森 , 乔纳森·林德加德·斯塔鲁 , 马修·卢茨 :
限制变量:可扩展变量的简单实用替代方案。 ECOOP公司 2023 : 17:1-17:27 2022 [j1] 朱塞佩·卡斯塔尼亚 , 米卡·洛朗 , 金恩恩(Kim Nguyen) , 马修·卢茨 :
在打字机上,联合消除和出现类型。 程序。 ACM计划。 语言。 6 ( POPL公司 ) : 1-31 ( 2022 )
![](https://dblp.org/img/cog.dark.24x24.png)