1.Maximum Segment Sum, Monadically (distilled tutorial)

作　　者：Jeremy Gibbons

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;66:181-194.doi:10.4204/EPTCS.66.9

出版社：Open Publishing Association

文章 ID：83120299

文章详细全文下载
2.Tracing monadic computations and representing effects

作　　者：Maciej Piróg ;Jeremy Gibbons

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;76:90-111.doi:10.4204/EPTCS.76.8

出版社：Open Publishing Association

文章 ID：83120459

文章详细全文下载
3.Relating Algebraic and Coalgebraic Descriptions of Lenses

作　　者：Jeremy Gibbons ;Michael Johnson

出　　处：Electronic Communications of the EASST. 2012 ;49.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：100465813

文章详细全文下载
4.Modularising inductive families

作　　者：Hsiang-Shang KO ;Jeremy GIBBONS

出　　处：Progress in Informatics. 2013 ;(10):65-88.doi:10.2201/NiiPi.2013.10.5

出版社：National Institute of Informatics

文章 ID：217948458

文章详细
5.Modules Over Monads and Their Algebras

作　　者：Maciej Pirog ;Nicolas Wu ;Jeremy Gibbons

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;35:290-303.doi:10.4230/LIPIcs.CALCO.2015.290

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

文章 ID：186847108

文章详细全文下载

	有本地全文	4篇
	有全文链接	1篇

	计算技术、计算机技术	4篇
	信息与知识传播	1篇

	德国	2篇
	澳大利亚	2篇
	日本	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Jeremy GIBBONS")))) )) ) )"

	Jeremy Gibbons	4篇
	Hsiang-Shang KO	1篇
	Jeremy GIBBONS	1篇
	Maciej Pirog	1篇
	Maciej Piróg	1篇

	Electronic Proceedings in Theoretical Computer Science	2篇
	Electronic Communications of the EASST	1篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇
	Progress in Informatics	1篇

	2015	1篇
	2013	1篇
	2012	2篇
	2011	1篇

	Michael Johnson	1篇
	Nicolas Wu	1篇