1.EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse

作　　者：Weixin Zhang ;Bruno C. d. S. Oliveira

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;74:29:1-29:32.doi:10.4230/LIPIcs.ECOOP.2017.29

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：197690117

文章详细全文下载
2.A Type-Directed Operational Semantics For a Calculus with a Merge Operator

作　　者：Xuejing Huang ;Bruno C. d. S. Oliveira

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;166:1-32.doi:10.4230/LIPIcs.ECOOP.2020.26

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：256859644

文章详细全文下载
3.Row and Bounded Polymorphism via Disjoint Polymorphism

作　　者：Ningning Xie ;Bruno C. d. S. Oliveira ;Xuan Bi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;166:1-30.doi:10.4230/LIPIcs.ECOOP.2020.27

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：256859645

文章详细全文下载
4.The Duality of Subtyping

作　　者：Bruno C. d. S. Oliveira ;Cui Shaobo ;Baber Rehman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;166:1-29.doi:10.4230/LIPIcs.ECOOP.2020.29

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：256859647

文章详细全文下载
5.Typed First-Class Traits

作　　者：Xuan Bi ;Bruno C. d. S. Oliveira

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;109:9:1-9:28.doi:10.4230/LIPIcs.ECOOP.2018.9

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220014740

文章详细
6.FHJ: A Formal Model for Hierarchical Dispatching and Overriding

作　　者：Yanlin Wang ;Haoyuan Zhang ;Bruno C. d. S. Oliveira 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;109:20:1-20:30.doi:10.4230/LIPIcs.ECOOP.2018.20

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220014751

文章详细
7.The Essence of Nested Composition

作　　者：Xuan Bi ;Bruno C. d. S. Oliveira ;Tom Schrijvers

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;109:22:1-22:33.doi:10.4230/LIPIcs.ECOOP.2018.22

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220014753

文章详细

	有本地全文	4篇
	有全文链接	3篇

	Haoyuan Zhang	1篇
	Marco Servetto	1篇
	Ningning Xie	1篇
	Weixin Zhang	1篇
	Xuejing Huang	1篇
	Yanlin Wang	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Bruno C. d. S. Oliveira")))) )) ) )"

	Bruno C. d. S. Oliveira	7篇
	Xuan Bi	3篇
	Tom Schrijvers	2篇
	Baber Rehman	1篇
	Cui Shaobo	1篇

	2020	3篇
	2018	3篇
	2017	1篇