An equational notion of lifting monad

By Bucalo A.   Fuhrmann C.   Simpson A.  

Theoretical Computer Science, Vol. 294, Iss. 1, 2003-02 ,pp. : 31-60

Elsevier

Access to resources Recommend Favorite

Combining a monad and a comonad

By Power  

Theoretical Computer Science, Vol. 280, Iss. 1, 2002-05 ,pp. : 137-162

Elsevier

Access to resources Recommend Favorite

Parallelizing Imperative Functional Programs: the Vectorization Monad

By Hill J.M.D.   Clarke K.M.   Bornat R.  

Journal of Symbolic Computation, Vol. 21, Iss. 4, 1996-04 ,pp. : 561-576

Academic Press

Access to resources Recommend Favorite

Effects of display modality on critical battlefield e-map search performance

By Tseng Feng-Yi   Chao Chin-Jung   Feng Wen-Yang   Hwang Sheue-Ling  

Behaviour and Information Technology, Vol. 32, Iss. 9, 2013-09 ,pp. : 888-901

Taylor & Francis Ltd

Access to resources Recommend Favorite

Personalized multi-modality image management and search for mobile devices

By Li Kun   Zhu Changyun   Lv Qin   Shang Li   Dick Robert  

Personal and Ubiquitous Computing, Vol. 17, Iss. 8, 2013-12 ,pp. : 1817-1834

Springer Publishing Company

Access to resources Recommend Favorite