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. csp

Publication title

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

  •  

     
    1Generative Programming
     

    oeg kiselyov
    14 years ago by @draganigajic
    show all tags
    • cs
    • csp
    • metaocaml
    • metascheme
    • ocaml
    • scheme
     
      cscspmetaocamlmetaschemeocamlscheme
      (0)
      copydelete
      • community post
      • history of this post
       
       
    •  

       
      1Communicating Scala Objects | Lambda the Ultimate
       

      http://lambda-the-ultimate.org/node/2970
      14 years ago by @draganigajic
      show all tags
      • csp
      • distributed
      • jamesIry
      • library
      • ltu
      • scala
       
        cspdistributedjamesIrylibraryltuscala
        (0)
        copydelete
        • community post
        • history of this post
         
         
      •  

         
        1The Transterpreter
         

        http://www.transterpreter.org/index.html
        14 years ago by @draganigajic
        show all tags
        • concurrent
        • csp
        • occam
        • pi-calculus
        • robotics
         
          concurrentcspoccampi-calculusrobotics
          (0)
          copydelete
          • community post
          • history of this post
           
           
        •  

           
          1NICTA | Constraint Programming Platform
           

          http://www.nicta.com.au/research/projects/constraint_programming_platform
          14 years ago by @draganigajic
          show all tags
          • chr
          • constraintSolving
          • csp
           
            chrconstraintSolvingcsp
            (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

          • csp as tag from all users

          related tags

          • + | library
          • + | ltu
          • + | metaocaml
          • + | metascheme
          • + | ocaml
          • + | occam
          • + | pi-calculus
          • + | robotics
          • + | scala
          • + | scheme
          • + | chr
          • + | concurrent
          • + | constraintsolving
          • + | cs
          • + | distributed
          • + | jamesiry

          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
          • research
          • programming
          • 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
          • wikipedia
          • .net
          • microsoft
          • 0
          • !
          • wiki
          • ocaml
          • 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.