@第{zbMATH06773912条，作者={Edelmann、Romain和Bliudze、Simon和Sifakis、Joseph}，Title={函数{BIP}：在函数编程语言中嵌入连接器}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN＝{2352-2208}，体积={92}，页码={19--44}，年份={2017年}，语言={英语}，DOI={10.1016/j.jlamp.2017.06.003}，关键词={68N18,68N15}，URL={infoscience.epfl.ch/record/230402}，zbMATH={6773912}，Zbl={1373.68173}}