en
de
Local
OpenID
:
no help available
no help available
BibSonomy
user
tag
user
group
author
concept
BibTeX key
search:all
::
draganigajic
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
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
bookmarks
(206)
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
publications
(8)
browse
cs
as tag from all users
cs
as concept from draganigajic
cs
as concept from all users
related tags
+
research
+
haskell
+
fp
+
people
+
pl
+
categorytheory
+
*read
+
math
+
logic
+
bibliography
+
100+
+
papers
+
typetheory
+
programming
+
*ril
+
ml
+
ltu
+
theory
+
dependent-types
+
scheme
concepts
!
←
!
$
**
*read
*RIL
*watch
++
browser
←
bookmarklet
bookmarklets
browser
browsers
chrome
css
extension
Firefox
flapjax
userchrome.css
cs
←
a*
AbstractStateMachine
actor-pl
actors
ai
algorithm
algorithms
automata
bnf
categoryTheory
closures
conferenceproceedings
congress
covariance
cs
csail
csp
typeTheory
db
←
couchdb
database
db
db4o
dbs
xmldb
FP
←
arrows
cabal
couchdb
curry
erlang
flapjax
FP
frp
functional-programming
haggis
happs
HaRe
harper
haskell
hoogle
HSP
ml
monads
ocaml
olegKiselyov
qi
sml
google
←
adsense
appengine
cse
gmail
GOOGLE
googlebooks
googlecalendar
googlecode
googleScholar
googletechtalk
guice
gwei
gwt
search
search:googlesearches
searchengine
searchmonkey
java
←
guice
gwt
hibernate
java
jetty
jvm
lift
maven
odersky
scala
tomcat
wicket
js/as
←
actionscript
adobe
air
ajax
amf
chickenfoot
extjs
flapjax
flash
flex
greasemonkey
gwt
javascript
jquery
json
lapis
quicksilver
lisp
←
c.l.l
cl
common-lisp
continuations
elisp
emacs
lisp
naggum
olegKiselyov
scheme
meta
←
!
$
%signedup
%zoted
&read
&unsubed
**
*get
*read
*RIL
*unseen
*watch
++
0
100+
10k+
1k+
2006
2007
2008
?
people
←
alankay
avi_bryant
avibryant
barryMazur
bpierce
cBarryJay
chaitin
chalmers
chomsky
conalElliot
crockford
dianeLee
dShasha
ekidd
eMeijer
eMoggi
felleisen
fokkinga
gBracha
geneEpstein
girard
grothendieck
gvRossum
hagino
harper
hayek
hDreyfus
heidegger
hudak
ianHacking
jamesIry
joeArmstrong
joelSpolsky
johnBaez
johnResig
jPaine
jResig
kent
lawvere
linusTorvalds
lucaCardelli
luqui
mpj
naggum
nCarr
neilMitchell
norvig
oDanvy
odersky
okasaki
olegKiselyov
oole
people
royFielding
samWanger
seligman
sjgould
sk
spj
taibbi
upenn
utrecht
wadler
xLeroy
yegge
york
zizek
popularity
←
0
100+
10k+
1k+
programming
←
BDD
build
c
C#
c++
code
codegeneration
codereading
codereview
compiler
computing
concurrency
concurrent
continuousintegration
coroutines
FP
pl
programming
ruby
←
capistrano
Heroku
irb
merb
mongrel
rails
rspec
ruby
rubyonrails
VC
←
bzr
distributedVC
git
github
mercurial
scm
subversion
svn
vcs
versioncontrol
tags
100+
haskell
blogpost
*read
tutorial
fp
cs
categoryTheory
software
programming
research
blog
*RIL
1k+
people
math
webdev
javascript
pl
video
library
java
search
ruby
logic
tools
linux
emacs
**
google
monads
bibliography
lisp
web
ltu
web2.0
python
papers
.net
wikipedia
microsoft
0
!
wiki
ocaml
paper
book
howto
visualization
Topics:SICP in other languages - CTMWiki
http://www.codepoetics.com/wiki/index.php?title=Topics:SICP_in_other_languages
http://www.codepoetics.com/wiki/index.php?title=Topics:SICP_in_other_languages
a year and 10 months ago
by
draganigajic
1
*read
100+
Scala
algorithms
cs
education
erlang
examples
fp
haskell
javascript
lisp
lua
ocaml
pl
python
qi
ruby
scheme
sicp
tutorial
wiki
*read
100+
Scala
algorithms
cs
education
erlang
examples
fp
haskell
javascript
lisp
lua
ocaml
pl
python
qi
ruby
scheme
sicp
tutorial
wiki
(0)
JFLAP
http://www.jflap.org/
http://www.jflap.org/
a year and 10 months ago
by
draganigajic
2
100+
automata
compiler
cs
jflap
simulation
100+
automata
compiler
cs
jflap
simulation
(0)
ECE 750 Topic 9 "Generative Software Development" Fall 2005
http://swen.uwaterloo.ca/~kczarnec/ECE750T9F05/
http://swen.uwaterloo.ca/~kczarnec/ECE750T9F05/
a year and 10 months ago
by
draganigajic
1
codegeneration
course
cs
generator
codegeneration
course
cs
generator
(0)
cola (aka idst, jolt, etc.)
http://piumarta.com/software/cola/
http://piumarta.com/software/cola/
a year and 10 months ago
by
draganigajic
1
**
alankay
cola
cs
macros
oo
peg
scheme
smalltalk
ui
**
alankay
cola
cs
macros
oo
peg
scheme
smalltalk
ui
(0)
Computer Programming Algorithms Directory
http://www.algosort.com/
http://www.algosort.com/
a year and 10 months ago
by
draganigajic
13
100+
1k+
algorithms
cs
pl
programming
100+
1k+
algorithms
cs
pl
programming
(0)
Jeffrey D. Ullman
http://www-db.stanford.edu/~ullman/
http://www-db.stanford.edu/~ullman/
a year and 10 months ago
by
draganigajic
1
People
cs
db
ml
pl
research
People
cs
db
ml
pl
research
(0)
Functional Nets
http://lampwww.epfl.ch/funnel/
http://lampwww.epfl.ch/funnel/
a year and 10 months ago
by
draganigajic
1
cs
fp
pl
research
cs
fp
pl
research
(0)
The Erasmus Project
http://users.encs.concordia.ca/~grogono/Erasmus/erasmus.html
http://users.encs.concordia.ca/~grogono/Erasmus/erasmus.html
a year and 10 months ago
by
draganigajic
1
concurrency
cs
pl
research
concurrency
cs
pl
research
(0)
Mitchell Wand's Home Page
http://www.ccs.neu.edu/home/wand/
http://www.ccs.neu.edu/home/wand/
a year and 10 months ago
by
draganigajic
2
AOP
categoryTheory
continuations
cs
people
scheme
semantics
AOP
categoryTheory
continuations
cs
people
scheme
semantics
(0)
Norman Ramsey
http://www.eecs.harvard.edu/~nr/
http://www.eecs.harvard.edu/~nr/
a year and 10 months ago
by
draganigajic
1
c--
cs
people
research
c--
cs
people
research
(0)
StoreGPU
http://www.ece.ubc.ca/~samera/projects/StoreGPU/
http://www.ece.ubc.ca/~samera/projects/StoreGPU/
a year and 10 months ago
by
draganigajic
1
cloudComputing
cs
gpu
storage
cloudComputing
cs
gpu
storage
(0)
Tv's cobweb: Git for Computer Scientists
http://eagain.net/articles/git-for-computer-scientists/
http://eagain.net/articles/git-for-computer-scientists/
a year and 10 months ago
by
draganigajic
4
100+
cs
git
100+
cs
git
(0)
11011110: Reweighting a graph for faster shortest paths
http://11011110.livejournal.com/135302.html
http://11011110.livejournal.com/135302.html
a year and 10 months ago
by
draganigajic
1
a*
ai
algorithms
cs
graph
pathfinding
a*
ai
algorithms
cs
graph
pathfinding
(0)
Conal Elliott's home page
http://conal.net/
http://conal.net/
a year and 10 months ago
by
draganigajic
2
cs
fp
ftp
graphics
haskell
people
research
cs
fp
ftp
graphics
haskell
people
research
(0)
Generative Software Development Lab
http://gsd.uwaterloo.ca/
http://gsd.uwaterloo.ca/
a year and 10 months ago
by
draganigajic
1
cs
generative
cs
generative
(0)
Tv's cobweb: Incremental mapreduce
http://eagain.net/articles/incremental-mapreduce/
http://eagain.net/articles/incremental-mapreduce/
a year and 10 months ago
by
draganigajic
1
100+
cs
mapReduce
100+
cs
mapReduce
(0)
http://okmij.org/ftp/Scheme/circular-list-infections.txt
http://okmij.org/ftp/Scheme/circular-list-infections.txt
http://okmij.org/ftp/Scheme/circular-list-infections.txt
a year and 10 months ago
by
draganigajic
1
cs
lisp
olegKiselyov
scheme
cs
lisp
olegKiselyov
scheme
(0)
Room 101: Cutting out Static
http://gbracha.blogspot.com/2008/02/cutting-out-static.html
http://gbracha.blogspot.com/2008/02/cutting-out-static.html
a year and 10 months ago
by
draganigajic
1
cs
oo
programming
cs
oo
programming
(0)
What To Know Before Debating Type Systems
very good discussion ·
http://cdsmith.twu.net/types.html
very good discussion ·
http://cdsmith.twu.net/types.html
a year and 10 months ago
by
draganigajic
1
100+
cs
typeTheory
100+
cs
typeTheory
(0)
Untitled
http://web.media.mit.edu/~lieber/Lieberary/OOP/Delegation/Delegation.html
http://web.media.mit.edu/~lieber/Lieberary/OOP/Delegation/Delegation.html
a year and 10 months ago
by
draganigajic
1
cs
delegation
designPattern
oo
cs
delegation
designPattern
oo
(0)
Advanced Topics in Types and Programming Languages
Benjamin C. Pierce
.
The MIT Press,
(
December 2004
)
Benjamin C. Pierce
.
The MIT Press,
(
December 2004
)
5 years ago
by
draganigajic
1
cs
cs
(0)
URL
DOI
TeX
An Introduction to Lambda Calculi for Computer Scientists
C. Hankin
.
College Publications,
(
February 2004
)
C. Hankin
.
College Publications,
(
February 2004
)
5 years ago
by
draganigajic
2
cs
cs
(0)
URL
DOI
TeX
Basic Category Theory for Computer Scientists
Benjamin C. Pierce
.
The MIT Press,
(
August 1991
)
Benjamin C. Pierce
.
The MIT Press,
(
August 1991
)
5 years ago
by
draganigajic
2
cs
cs
(0)
URL
DOI
TeX
The Algebra of Programming
Richard Bird
, and
Oege de Moor
.
Prentice Hall,
(
September 1997
)
Richard Bird
, and
Oege de Moor
.
Prentice Hall,
(
September 1997
)
5 years ago
by
draganigajic
1
cs
trs
cs
trs
(0)
URL
DOI
TeX
Types and Programming Languages
Benjamin C. Pierce
.
The MIT Press,
(
February 2002
)
Benjamin C. Pierce
.
The MIT Press,
(
February 2002
)
5 years ago
by
draganigajic
7
cs
cs
(0)
URL
DOI
TeX
Categories,Relations and Dynamic Programming
Oege De Moor
.
Univ.Oxf.Computing Lab.,Programming Research Gp.,
(
April 1992
)
Oege De Moor
.
Univ.Oxf.Computing Lab.,Programming Research Gp.,
(
April 1992
)
5 years ago
by
draganigajic
1
cs
math
cs
math
(0)
URL
DOI
TeX
Compiling with Continuations
Andrew W. Appel
.
Cambridge University Press,
1 edition,
(
February 2007
)
Andrew W. Appel
.
Cambridge University Press,
1 edition,
(
February 2007
)
5 years ago
by
draganigajic
1
compiling
cs
compiling
cs
(0)
URL
DOI
TeX
Purely Functional Data Structures
Chris Okasaki
.
Cambridge University Press,
New Ed edition,
(
July 1999
)
Chris Okasaki
.
Cambridge University Press,
New Ed edition,
(
July 1999
)
5 years ago
by
draganigajic
3
cs
fp
cs
fp
(0)
URL
DOI
TeX
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