ACM Transactions on Programming Languages and Systems

18	--	Jens Palsberg. Editorial note
19	--	Mingsheng Ying. Floyd-hoare logic for quantum programs
20	--	Werner Dietl, Sophia Drossopoulou, Peter Müller. Separating ownership topology and encapsulation with generic universe types
21	--	Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl. Fast interprocedural linear two-variable equalities

External Links