John Tang Boyland

18 papers A* 2A 1Journal 5Unranked 10

Year	Rank	Type	Title / Venue / Authors
2021	—	`conf`	Evolution of SASyLF 2008-2021. ThEdu@CADE John Tang Boyland
2015	A	`ed.`	29th European Conference on Object-Oriented Programming, ECOOP 2015, Prague, Czech Republic, July 5-10, 2015 ECOOP John Tang Boyland
2015	—	`conf`	Refined Criteria for Gradual Typing. SNAPL Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, John Tang Boyland
2014	—	`conf`	Constraint Semantics for Abstract Read Permissions. FTfJP@ECOOP John Tang Boyland, Peter Müller, Malte Schwerhoff, Alexander J. Summers
2012	—	`conf`	19th international workshop on foundations of object-oriented languages (FOOL'12). SPLASH Jeremy G. Siek, Jonathan Aldrich, John Tang Boyland
2010	—	`conf`	Generating Bijections between HOAS and the Natural Numbers LFMTP John Tang Boyland
2010	J	`jnl`	Preface. Sci. Comput. Program. Adrian Johnstone, Anthony Sloane, John Tang Boyland
2010	J	`jnl`	Preface. Theor. Comput. Sci. John Tang Boyland, Giuseppe Castagna
2010	J	`jnl`	Semantics of fractional permissions with nesting. ACM Trans. Program. Lang. Syst. John Tang Boyland
2007	J	`jnl`	Preface. Sci. Comput. Program. Görel Hedin, John Tang Boyland
2005	A*	`conf`	An infrastructure for development of object-oriented, multi-level configuration management services. ICSE Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao
2005	—	`conf`	Configuration Management for Designs of Software Systems. ECBS Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao
2005	A*	`conf`	Connecting effects and uniqueness with adoption. POPL John Tang Boyland, William Retert
2005	—	`conf`	Multi-level Configuration Management with Fine-grained Logical Units. EUROMICRO-SEAA Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao
2005	—	`conf`	Preface. LDTA@ETAPS John Tang Boyland, Görel Hedin
2005	J	`jnl`	Remote attribute grammars. J. ACM John Tang Boyland
2005	—	`conf`	Structure-oriented Product Versioning. ITCC (2) Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao
2005	—	`conf`	Type Annotations to Improve Stack-Based Access Control. CSFW Tian Zhao, John Tang Boyland