Reasoning about programs in continuation-passing style
- 作者AMR Sabry; Matthias Felleisen
- 卷第6卷
- 印刷ISSN0892-4635
- 文件大小2991.54KB
- 发表时间1993-11
- DOI10.1007/bf01019462
- 页码289-360
Reaction of secondary phosphine chalcogenides with 2,2,2-trichloroacetaldehydeN. I. Ivanova; N. K. Gusarova; N. A. Konovalova; P. A. Volkov; G. G. Levkovskaya; L. I. Larina; B. A. Trofimov · 2009
Thermodynamics of tetraphenylantimony acetophenoneoxymateI. A. Letyanina; N. N. Smirnova; A. V. Markin; V. A. Ruchenin; V. N. Larina; V. V. Sharutin; O. V. Molokova · 2011
Solubility of vanadium and niobium nitrides in ironA. P. Gulyaev; V. N. Anashenko; N. I. Karchevskaya; O. D. Larina; Yu. I. Matrosov · 1973
Organosilicon compounds containing carbofunctional biguanidine groupN. N. Vlasova; O. Yu. Grigor’eva; E. N. Oborina; Yu. N. Pozhidaev; L. I. Larina; M. G. Voronkov · 2006
Synthesis of chalcophosphinic acid amides with pyridine rings*N. I. Ivanova; P. A. Volkov; L. I. Larina; N. K. Gusarova; B. A. Trofimov · 2012
Extractive substances ofLarix dahuricaN. A. Tyukavkina; K. I. Lapteva; V. A. Larina; N. G. Devyatko · 1967
Reaction of 3-thiolene 1,1-dioxide with PH-acidsS. F. Malysheva; N. I. Ivanova; N. A. Belogorlova; M. Ya. Khil'ko; L. I. Larina; N. K. Gusarova; B. A. Trofimov · 1998
4-DimethylaminoacetophenoneO-vinyloxime: Synthesis and steric structureL. N. Sobenina; A. P. Demenev; A. I. Mikhaleva; Yu. Yu. Rusakov; L. I. Larina; N. V. Istomina; L. B. Krivdin · 2008