BibSonomy :: user :: draganigajic :: paper

actions for all displayed bookmarks:

export:

RSS, BibTeX, XML

sort:

criterion: date, title
order: ascending, descending

others:

display: all, bookmarks only
bookmarks per page: 5 10 20 50 100

actions for all displayed publications:

export:

RSS, BibTeX, RDF, more...

sort:

criterion: date, title
order: ascending, descending
advanced...

others:

display: all, publications only
publications per page: 5 10 20 50 100

[0708.2255] A Language for Generic Programming in the Large
http://arxiv.org/abs/0708.2255
http://arxiv.org/abs/0708.2255
a year and 10 months ago
by draganigajic
1
arxiv c++ cs generic paper pl programming
(0)
Abstract and Concrete Categories - The Joy of Cats
http://www.iti.cs.tu-bs.de/~adamek/AHS.pdf
http://www.iti.cs.tu-bs.de/~adamek/AHS.pdf
a year and 10 months ago
by draganigajic
1
- categoryTheory
- paper
categoryTheory paper
(0)
[q-alg/9705009] An Introduction to n-Categories
http://arxiv.org/abs/q-alg/9705009
http://arxiv.org/abs/q-alg/9705009
a year and 10 months ago
by draganigajic
1
arxiv categoryTheory introduction n-Categories paper pdf
(0)
Elements of Basic Category Theory - Martini, Ehrig, Nunes (ResearchIndex)
http://citeseer.ist.psu.edu/martini96element.html
http://citeseer.ist.psu.edu/martini96element.html
a year and 10 months ago
by draganigajic
1
categoryTheory citeseer math paper
(0)
[0710.2497] A Categorical Construction of Ultrafilters
http://www.arxiv.org/abs/0710.2497
http://www.arxiv.org/abs/0710.2497
a year and 10 months ago
by draganigajic
1
categoryTheory logic math modelTheory paper
(0)
Categories and Groupoids
http://138.73.27.39/tac/reprints/articles/7/tr7abs.html
http://138.73.27.39/tac/reprints/articles/7/tr7abs.html
a year and 10 months ago
by draganigajic
1
- categoryTheory
- paper
categoryTheory paper
(0)
The Essence of Dataflow Programming
http://cs.ioc.ee/~tarmo/papers/essence.pdf
http://cs.ioc.ee/~tarmo/papers/essence.pdf
a year and 10 months ago
by draganigajic
1
comonad dataflow fp haskell paper pdf
(0)
An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming (ResearchIndex)
http://citeseer.ist.psu.edu/62964.html
http://citeseer.ist.psu.edu/62964.html
a year and 10 months ago
by draganigajic
1
categoryTheory citeseer kleisli paper
(0)
When is one thing equal to another - Barry Mazur
Introduction to category theory by way of discussing the concept of equality · http://www.math.harvard.edu/~mazur/preprints/when_is_one.pdf
Introduction to category theory by way of discussing the concept of equality · http://www.math.harvard.edu/~mazur/preprints/when_is_one.pdf
a year and 10 months ago
by draganigajic
1
barryMazur categoryTheory introduction math paper pdf philosophy
(0)
Citebite: rank-2 types
http://pages.citebite.com/r9u8l8a7ppcr
http://pages.citebite.com/r9u8l8a7ppcr
a year and 10 months ago
by draganigajic
1
categoryTheory haskell paper typeTheory
(0)
Fast, Inexpensive Content-Addressed Storage in Foundation
http://swtch.com/~rsc/papers/fndn/
http://swtch.com/~rsc/papers/fndn/
a year and 10 months ago
by draganigajic
1
*RIL *read backup csail paper research storage
(0)
A Very Basic Introduction to Hopf Algebras
http://myweb.lsbu.ac.uk/~ruthercg/MathsStudyGroup/SlidesAndNotes/Hopf.pdf
http://myweb.lsbu.ac.uk/~ruthercg/MathsStudyGroup/SlidesAndNotes/Hopf.pdf
a year and 10 months ago
by draganigajic
1
from:sigfpe hopfAlgebra introduction paper
(0)
Practical type inference for arbitrary-rank types
http://research.microsoft.com/~simonpj/papers/higher-rank/putting.pdf
http://research.microsoft.com/~simonpj/papers/higher-rank/putting.pdf
a year and 10 months ago
by draganigajic
1
inference paper spj typeTheory
(0)
Monads for Incremental Computing
http://citeseer.comp.nus.edu.sg/cache/papers/cs/29945/http:zSzzSzwww.cse.ogi.eduzSzPacSoftzSzpublicationszSz2002zSzicfp-2002.pdf/monads-for-incremental-computing.pdf
http://citeseer.comp.nus.edu.sg/cache/papers/cs/29945/http:zSzzSzwww.cse.ogi.eduzSzPacSoftzSzpublicationszSz2002zSzicfp-2002.pdf/monads-for-incremental-computing.pdf
a year and 10 months ago
by draganigajic
1
citeseer monads paper
(0)
Defunctionalization at work
http://www.brics.dk/RS/01/23/BRICS-RS-01-23.pdf
http://www.brics.dk/RS/01/23/BRICS-RS-01-23.pdf
a year and 10 months ago
by draganigajic
1
brics fp oDanvy paper
(0)
pitts01categorical.pdf (application/pdf Object)
http://citeseer.ist.psu.edu/cache/papers/cs/4062/ftp:zSzzSzftp.cl.cam.ac.ukzSzpaperszSzapzSzcatl.pdf/pitts01categorical.pdf
http://citeseer.ist.psu.edu/cache/papers/cs/4062/ftp:zSzzSzftp.cl.cam.ac.ukzSzpaperszSzapzSzcatl.pdf/pitts01categorical.pdf
a year and 10 months ago
by draganigajic
1
categoryTheory citeseer logic paper
(0)
tr8.pdf (application/pdf Object)
http://www.emis.de/journals/TAC/reprints/articles/8/tr8.pdf
http://www.emis.de/journals/TAC/reprints/articles/8/tr8.pdf
a year and 10 months ago
by draganigajic
1
categoryTheory lawvere paper
(0)
Data Types a la Carte
http://www.cs.nott.ac.uk/~wss/Publications/DataTypesALaCarte.pdf
http://www.cs.nott.ac.uk/~wss/Publications/DataTypesALaCarte.pdf
a year and 10 months ago
by draganigajic
1
adt haskell nottingham paper
(0)
the-seven-virtues-of.pdf (application/pdf Object)
http://citeseer.ist.psu.edu/cache/papers/cs/30912/http:zSzzSzimps.mcmaster.cazSzwmfarmerzSz..zSzdoczSzseven-virtues.pdf/the-seven-virtues-of.pdf
http://citeseer.ist.psu.edu/cache/papers/cs/30912/http:zSzzSzimps.mcmaster.cazSzwmfarmerzSz..zSzdoczSzseven-virtues.pdf/the-seven-virtues-of.pdf
a year and 10 months ago
by draganigajic
1
** education logic paper typeTheory
(0)
Alternative (Word98).pdf (application/pdf Object)
http://socrates.berkeley.edu/~hdreyfus/pdf/Alternative%20(Word98).pdf
http://socrates.berkeley.edu/~hdreyfus/pdf/Alternative%20(Word98).pdf
a year and 10 months ago
by draganigajic
1
hDreyfus heidegger paper psychiatry psychology
(0)
⟨⟨⟨12 3 ⟩⟩⟩

No matching items.

BibSonomy is offered by the KDE group of the University of Kassel, the DMIR group of the University of Würzburg, and the L3S Research Center, Germany. Privacy & Terms of Use - Contact