1.Relational Parametricity for Computational Effects

作　　者：Rasmus Ejlers Møgelberg ;Alex Simpson

出　　处：Logical Methods in Computer Science. 2009 ;5(03).doi:10.2168/LMCS-5(3:7)2009

出版社：Technical University of Braunschweig

文章 ID：47333306

文章详细全文下载
2.Football: BECKHAM'S A NAUGHTY BOY

作　　者：ALEX SIMPSON

出　　处：Sunday Mirror. 2003 ;Jul 27, 2003.

出版社：Mirror Group Newspapers Ltd.

文章 ID：42658634

文章详细全文下载
3.Probability Sheaves and the Giry Monad

作　　者：Alex Simpson

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;72:1:1-1:6.doi:10.4230/LIPIcs.CALCO.2017.1

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：205510163

文章详细全文下载
4.Linear-use CPS translations in the Enriched Effect Calculus

作　　者：Jeff Egger ;Rasmus Møgelberg ;Alex Simpson

出　　处：Logical Methods in Computer Science. 2012 ;8(4):1.doi:10.2168/LMCS-8(4:2)2012

出版社：Technical University of Braunschweig

文章 ID：264691885

文章详细全文下载
5.Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular

作　　者：Aliaume Lopez ;Alex Simpson

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;119:1-17.doi:10.4230/LIPIcs.CSL.2018.29

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：230213304

文章详细全文下载

	计算技术、计算机技术	4篇
	生活与消费	1篇

	德国	4篇
	英国	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Alex Simpson")))) )) ) )"

	Alex Simpson	4篇
	ALEX SIMPSON	1篇
	Aliaume Lopez	1篇
	Jeff Egger	1篇
	Rasmus Ejlers Møgelberg	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	Logical Methods in Computer Science	2篇
	Sunday Mirror	1篇

	2018	1篇
	2017	1篇
	2012	1篇
	2009	1篇
	2003	1篇