@收款{zbMATH07454919，作者={Trindade，Andr{\ee}和Mota，Jo{\a}o和Ravara，Ant{\oo}nio}，Title={自动控制的类型状态和返回：工具}，BookTitle={第13届交互和并发体验研讨会会议记录，ICE’20，在线，2020年6月19日}，页码={25--42}，年份={2020年}，Publisher={滑铁卢：开放出版协会（OPA）}，语言={英语}，关键词={68N18，68-04，68N19，68Q45}，URL={eptcs.web.cse.unsw.edu.au/paper.cgi？ICE2020.4}，zbMATH={7454919}，Zbl={1477.68073}}