zednenem's category-theory [9 articles] Export

Recent papers added to zednenem's library classified by the tag category-theory. You can also see everyone's category-theory.

Hide details

	The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 172 (2007), pp. 437-458. by Martin Hyland, John Power posted to category-theory effects lawvere-theories monads by zednenem on 2007-10-11 02:22:10 as along with 7 people christiankissig madhadron Scis0000002 vishpool masteraka mmarcus ps_ttf
	Category Theory as Coherently Constructive Lattice Theory: An Illustration [My Copy] No. 94-43. (1994) by Roland Backhouse, Marcel Bijsterveld posted to category-theory lattices by zednenem on 2007-04-03 06:01:59 as along with 3 people ansobol jrw scis0000001
	An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming [My Copy] by Jonathan M. D. Hill, Keith Clarke posted to category-theory fp haskell monads by zednenem on 2007-03-28 02:36:39 as along with 11 people and 1 group pirapira algorithmic draganigajic ansobol jrw proportional jutaro glaubersp mathcoq ps_ttf namin Lambda the Ultimate
	Computational Comonads and Intensional Semantics [My Copy] In Applications of Categories in Computer Science: Proceedings LMS Symp., Durham, {UK}, 20--30 July 1991, Vol. 177 (1992), pp. 1-44. by Stephen Brookes, Shai Geva edited by M. P. Fourman, P. T. Johnstone, A. M. Pitts posted to category-theory comonads haskell semantics by zednenem on 2006-08-24 07:24:39 as along with 6 people and 1 group dherman jrw msakai dmitri83 EdwardKmett meiersi NU-PRL
	Arrows, like Monads, are Monoids [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII), Vol. 158 (5 May 2006), pp. 219-236. by Chris Heunen, Bart Jacobs posted to arrows category-theory monads by zednenem on 2006-08-08 00:22:04 as along with 6 people and 1 group christiankissig jrw oryp6518 mstone rgb cognominal pileWorks
	Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation [My Copy] Thirty Five Years of Automating Mathematics (2003) by Gérard Huet edited by Fairouz Kamareddine posted to category-theory continuations zippers by zednenem on 2005-08-25 23:49:37 as along with 5 people and 3 groups dherman eaubin JacquesC EdwardKmett namin NU-PRL functional programming Lambda the Ultimate
	Categorical Logic [My Copy] In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001) by Andrew M. Pitts edited by S. Abramsky, D. M. Gabbay, T. S. E. Maibaum posted to category-theory logic by zednenem on 2005-08-16 05:26:43 as along with 18 people and 4 groups ama08r jorisslob dalev jrw tautologico wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi xiemaisi glaubersp janschaefer mmarcus ps_ttf NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup
	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 zednenem on 2005-08-05 19:01:41 as along with 9 people and 1 group puzza dalev jrw bfraser dmitri83 EdwardKmett jsala neuralwarp ps_ttf NU-PRL
	Comprehending Queries [My Copy] (1999) by T. Grust posted to category-theory monads query by zednenem on 2005-07-31 19:14:30 as along with 2 people and 1 group mahler AndreasSchropp Rightscom

Note: You may cite this page as: http://www.citeulike.org/user/zednenem/tag/category-theory

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.

haskell	50
monads	34
modules	14
concurrency	11
fp	11
category-theory	9
lazy-evaluation	8
type-classes	8
comonads	7
effects	7
logic-programming	7
generic-programming	6
logic	6
compilation	5
intermediate-language	5
lawvere-theories	5
query	5
continuation	4
continuations	4
mixins	4
monad-transformers	4
recursion	4
staged-programming	4
type-theory	4
algebra	3
associated-types	3
coinduction	3
gui	3
metaprogramming	3
ml	3
ocaml	3
oop	3
polymorphism	3
programming	3
zippers	3
abstract-types	2
algebraic-reasoning	2
applicative-functors	2
attribute-grammars	2
backtracking	2
call-by-value	2
codata	2
composable-references	2
corecursion	2
dataflow-programming	2
dsl	2
gadt	2
higher-ranked-types	2
impredicative-types	2
interpreters	2
lambda-calculus	2
linear-types	2
parsing	2
program-transformation	2
rdf	2
reflection	2
semantics	2
transluscent-functors	2
type-equality	2
type-system	2
algorithms	1
allocation	1
arithmetic	1
arrows	1
build-systems	1
coalgebra	1
collections	1
combinators	1
constraint-satisfaction	1
contracts	1
dependent-types	1
description-logic	1
domain-theory	1
dynamic-linking	1
dynamic-typing	1
edsl	1
embedding	1
epigram	1
equational-reasoning	1
events	1
exceptions	1
expressiveness	1
folds	1
frp	1
fundeps	1
grammar	1
graph	1
implicit-variables	1
incremental-computing	1
knowledge-representation	1
lattices	1
lexing	1
lua	1
macros	1
make	1
metaocaml	1
modal-logic	1
multiparadigm	1
natural-language	1
nested-datatypes	1
non-strict	1
optimization	1
ordinals	1
owl	1
oz	1
pan	1
partial-evaluation	1
plt	1
purely-functional-data-structures	1
python	1
references	1
regular-expressions	1
resumptions	1
scala	1
scheme	1
software-maintenance	1
structural-types	1
symbolic-math	1
system-f	1
template-haskell	1
termination	1
testing	1
text-formatting	1
trampoline-style	1
type-as-proposition	1
typecase	1
type-coercion	1
type-indexed-types	1
type-inference	1
type-isomorphisms	1
unboxed-types	1
units	1
virtual-types	1
xml	1
yampa	1

zednenem's category-theory [9 articles] Export

zednenem's tags