搜索页_+Monads

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

在“Elsevier电子期刊”中，命中：216条，耗时：小于0.01 秒

1.A precise monadic dynamic slicing method

作者：Yingzhou Zhang^a ; ^b ; ^c ; ^{zhangyz@njupt.edu.cn" class="auth_mail" title="E-mail the corresponding author}

关键词：Dynamic slicing ; Modular monadic semantics ; Monads ; Monad transformers ; Parallel

刊名：Knowledge-Based Systems

出版年：2017

2.Complete Elgot Monads and Coalgebraic Resumptions

作者：Sergey Goncharov¹ ; ^{Sergey.Goncharov@fau.de" class="auth_mail" title="E-mail the corresponding author} ; Stefan Milius² ; ^{mail@stefan-milius.eu" class="auth_mail" title="E-mail the corresponding author} ; Christoph Rauch¹ ; ^{Christoph.Rauch@fau.de" class="auth_mail" title="E-mail the corresponding author}

关键词：Complete Elgot monad ; complete Elgot algebra ; resumption monad ; uniform iteration

刊名：Electronic Notes in Theoretical Computer Science

出版年：2016

3.Effect capabilities for Haskell: Taming effect interference in monadic programming

作者：Ismael Figueroa^a ; ^{ismael.figueroa@pucv.cl" class="auth_mail" title="E-mail the corresponding author} ; Nicolas Tabareau^b ; ^{nicolas.tabareau@inria.fr" class="auth_mail" title="E-mail the corresponding author} ; É ; ric Tanter^c ; ^{etanter@dcc.uchile.cl" class="auth_mail" title="E-mail the corresponding author}

关键词：Monads ; Capabilities ; Computational effects ; Tagged monads

刊名：Science of Computer Programming

出版年：2016

4.Monads and distributive laws for Rota-Baxter and differential algebras

作者：Shilong Zhang^a ; ^{2663067567@qq.com" class="auth_mail" title="E-mail the corresponding author} ; Li Guo^b ; ^c ; ^{liguo@newark.rutgers.edu" class="auth_mail" title="E-mail the corresponding author} ; William Keigher^c ; ^{keigher@newark.rutgers.edu" class="auth_mail" title="E-mail the corresponding author}

关键词：primary ; 18C15 ; 13Nxx ; 16W99 ; secondary ; 18C20 ; 12H05

刊名：Advances in Applied Mathematics

出版年：2016

5.Homotopy coherent adjunctions and the formal theory of monads

作者：Emily Riehl^a ; ^{eriehl@math.harvard.edu" class="auth_mail" title="E-mail the corresponding author} ; Dominic Verity^b ; ^{dominic.verity@mq.edu.au" class="auth_mail" title="E-mail the corresponding author}

关键词：18G55 ; 55U35 ; 55U40 ; 18A40 ; 18D20 ; 18G30 ; 55U10 ; 18D35 ; 18F99

刊名：Advances in Mathematics

出版年：2016

6.Effectuses from Monads

作者：Bart Jacobs¹ ; ^{bart@cs.ru.nl" class="auth_mail" title="E-mail the corresponding author} ;

关键词：monad ; effectus ; probabilistic computation

刊名：Electronic Notes in Theoretical Computer Science

出版年：2016

7.Absolute retracts and equiconnected monads

作者：T. Radul^a ; ^b ; ¹ ; ^{tarasradul@yahoo.co.uk" class="auth_mail" title="E-mail the corresponding author}

关键词：18B30 ; 18C15 ; 28A33 ; 54C55 ; 54B30

刊名：Topology and its Applications

出版年：2016

8.Giry and the Machine

作者：Fredrik Dahlqvist¹ ; ^{f.dahlqvist@ucl.ac.uk" class="auth_mail" title="E-mail the corresponding author}

关键词：probability ; topology ; category theory ; monads

刊名：Electronic Notes in Theoretical Computer Science

出版年：2016

9.A survey on the categorical term construction with applications

作者：Patrik Eklund^a ; ^{peklund@cs.umu.se" class="auth_mail" title="E-mail the corresponding author} ; Ulrich Hö ; hle^b ; ^{uhoehle@uni-wuppertal.de" class="auth_mail" title="E-mail the corresponding author} ; Jari Kortelainen^c ; ^{jari.kortelainen@mamk.fi" class="auth_mail" title="E-mail the corresponding author}

关键词：Functor algebras ; Term monads ; Quantale ; Algebra ; Category theory

刊名：Fuzzy Sets and Systems

出版年：2016

10.Prioritary omalous bundles on Hirzebruch surfaces

作者：Marian Aprodu^a ; ^b ; ^{Marian.Aprodu@imar.ro" class="auth_mail" title="E-mail the corresponding author} ; Marius Marchitan^c ; ^d ; ^b

关键词：Hirzebruch surface ; Vector bundle ; Beilinson spectral sequence ; Cohomological methods ; Omalous bundles ; Classification

刊名：Journal of Geometry and Physics

出版年：2016

按检索点细分(216)

题名(75)

关键词(50)

文摘(161)

按出版年细分(216)

2027年及以后(7)

2017年(1)

2016年(16)

2015年(12)

2013年(9)

2012年(12)

2011年(21)

2010年(15)

2009年(7)

2008年(12)

2007年(12)

2006年(9)

2005年(5)

2004年(6)

2003年(13)

2002年(13)

2001年(6)

2000年(5)

2000年及以前(35)