jsala's monads [6 articles] Export Sort

Recent papers added to jsala's library classified by the tag monads. You can also see everyone's monads.

Hide details

	Extensions: A Technique for Structuring Functional-Logic Programs [My Copy] Lecture Notes in Computer Science : Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 1999. Proceedings (2000), 297. by Rafael Caballero, Francisco J. Lã³pez-Fraguas posted to functional-logic monads by jsala on 2006-12-17 16:57:19 as
	Monad-independent dynamic logic in HasCasl [My Copy] In 16th International Workshop, WADT02 (2003) by L. Schröder, T. Mossakowski posted to category-theory functional modal-logic monads by jsala on 2006-12-03 23:49:16 as along with 1 person glaubersp
	A monadic semantics for core Curry [My Copy] (2003) by A. Tolmach, S. Antoy posted to curry functional-logic interpreters monads by jsala on 2006-12-03 19:19:26 as
	A Monadic Categorical Semantics for Threads [My Copy] by Jonathan Sobel, Steven E. Ganz, Daniel P. Friedman, Mitchell Wand posted to category-theory concurrency monads by jsala on 2006-11-27 20:18:30 as along with 9 people and 1 group puzza dalev jrw zednenem bfraser dmitri83 EdwardKmett neuralwarp ps_ttf NU-PRL
	Monad transformers and modular interpreters [My Copy] In Conference record of POPL '95, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: San Francisco, California, January 22--25, 1995 (1995), pp. 333-343. by Sheng Liang, Paul Hudak, Mark Jones edited by Ac posted to haskell interpreters monad-transformers monads by jsala on 2006-11-27 20:13:14 as along with 10 people and 1 group draganigajic greenrd JeffreyPalmer tautologico zednenem Benja glaubersp conal americovargas pedagand SRG_at_UCD
	Comprehending Monads [My Copy] In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78. by P. L. Wadler posted to category category-theory functional haskell monads by jsala on 2006-11-27 20:09:41 as along with 31 people and 2 groups mahler puzza hellige rgrig JeffreyPalmer Darius rwtodd jrw creswick cedricboidin zednenem bfraser ben_moseley scis0000001 msn mstone bunge rgb Benja meiersi jasonmc glaubersp ds conal cdiggins cognominal benchambers kazuya hayeah mmarcus donniejones18 SRG_at_UCD pileWorks

Note: You may cite this page as: http://www.citeulike.org/user/jsala/tag/monads

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

functional-logic	8
monads	6
category-theory	3
haskell	3
rewriting-logic	2
curry	2
functional	2
interpreters	2
modal-logic	1
monad-transformers	1
operational-semantics	1
concurrency	1
higher-order	1
category	1

jsala's monads [6 articles] Export Sort

jsala's tags