BibSonomy

The blue social bookmark and publication sharing system.

( en | de | ru )

 

user
  • tag
  • user
  • group
  • author
  • concept
  • BibTeX key
  • search
@draganigajic
  • sign in
  • register
  • groups
  • genealogy
  • popular 
    • posts
    • tags
    • authors
    • concepts
    • discussions
  • sign in
  • register

Login

Log in with your username.

@

I've lost my password.


Log in with your OpenID-Provider.

  • Other OpenID-Provider
  1. user
  2. @draganigajic
  3. bpierce

Publication title

bookmarks  (hide)3
  • display
  • all
  • bookmarks only
  • bookmarks per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • sort by
  • added at
  • title
  • RSS
  • BibTeX
  • XML

  •  

     
    1Harmony - Introduction
     

    superceded by Boomerang
    15 years ago by @draganigajic
    show all tags
    • bpierce
    • demo
    • sync
    • upenn
    • xml
     
      bpiercedemosyncupennxml
      (0)
      copydelete
      • community post
      • history of this post
       
       
    •  

       
      3Great Works in Programming Languages
       

      http://www.cis.upenn.edu/~bcpierce/courses/670Fall04/GreatWorksInPL.shtml
      15 years ago by @draganigajic
      show all tags
      • *RIL
      • *read
      • 100+
      • articles
      • bibliography
      • bpierce
      • classics
      • cs
       
        *RIL*read100+articlesbibliographybpierceclassicscs
        (0)
        copydelete
        • community post
        • history of this post
         
         
      •  

         
        1Amazon.com: Basic Category Theory for Computer Scientists (Foundations of Computing): Benjamin C. Pierce: Books
         

        http://www.amazon.com/gp/product/0262660717?ie=UTF8&tag=steveysblogra-20&link_code=wql&camp=212361&creative=380601
        15 years ago by @draganigajic
        show all tags
        • amazon
        • book
        • bpierce
        • categoryTheory
         
          amazonbookbpiercecategoryTheory
          (0)
          copydelete
          • community post
          • history of this post
           
           
        • ⟨⟨
        • ⟨
        • 1
        • ⟩
        • ⟩⟩

        publications  (hide)
        • display
        • all
        • publications only
        • publications per page
        • 5
        • 10
        • 20
        • 50
        • 100
        • sort by
        • added at
        • title
        • author
        • publication date
        • entry type
        • help for advanced sorting...
        • RSS
        • BibTeX
        • RDF
        • more...

          No matching posts.
        • ⟨⟨
        • ⟨
        • ⟩
        • ⟩⟩

        browse

        • bpierce as tag from all users

        related tags

        • + | amazon
        • + | upenn
        • + | sync
        • + | demo
        • + | cs
        • + | classics
        • + | bibliography
        • + | articles
        • + | 100+
        • + | *read
        • + | *ril
        • + | categorytheory
        • + | book
        • + | xml

        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
        • fp
        • tutorial
        • cs
        • categoryTheory
        • software
        • programming
        • research
        • blog
        • *RIL
        • people
        • 1k+
        • math
        • webdev
        • javascript
        • pl
        • video
        • library
        • java
        • search
        • ruby
        • logic
        • tools
        • linux
        • emacs
        • **
        • google
        • monads
        • bibliography
        • lisp
        • ltu
        • web
        • web2.0
        • python
        • wikipedia
        • papers
        • .net
        • microsoft
        • 0
        • !
        • ocaml
        • wiki
        • book
        • paper
        • howto
        • visualization
        What is BibSonomy?
        Getting Started
        Browser Buttons
        Help
        Developer
        Overview
        API Documentation
        Contact & Privacy
        Contact
        Privacy & Terms of Use
        Cookies
        Report Issues
        BibSonomy Wiki
        Integration
        PUMA
        TYPO3 Extension
        WordPress Plugin
        Java REST Client
        Supported Sites
        more
        About BibSonomy
        Team
        Blog
        Mailing List
        Social Media
         Follow us on Twitter

        BibSonomy is offered by the Data Science Chair of the University of Würzburg, the Information Processing and Analytics Group of the Humboldt-Unversität zu Berlin, the KDE Group of the University of Kassel, and the L3S Research Center.