This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2016-06-30
Channels
- # admin-announcements (3)
- # aws-lambda (12)
- # beginners (88)
- # boot (73)
- # capetown (6)
- # carry (16)
- # cider (8)
- # cljsjs (7)
- # clojure (90)
- # clojure-belgium (4)
- # clojure-dev (19)
- # clojure-greece (41)
- # clojure-portugal (1)
- # clojure-quebec (4)
- # clojure-russia (25)
- # clojure-spec (172)
- # clojure-taiwan (1)
- # clojure-uk (76)
- # clojurescript (82)
- # cursive (37)
- # datavis (2)
- # datomic (46)
- # devcards (1)
- # emacs (4)
- # euroclojure (6)
- # events (1)
- # hoplon (31)
- # jobs (1)
- # keechma (9)
- # off-topic (4)
- # om (7)
- # onyx (65)
- # other-languages (15)
- # pedestal (1)
- # planck (50)
- # proton (1)
- # re-frame (40)
- # reagent (7)
- # spacemacs (14)
- # spirituality-ethics (37)
- # testing (1)
- # untangled (2)
- # yada (44)
Preprint apo ICFP 2016 Datafun: a Functional Datalog http://www.cs.bham.ac.uk/~krishnan/datafun.pdf
@palladin: ti na diavasw gia na mporw na diavasw to notation se ayto to paper?
nai etsi legetai kai exw grapsei ligo core.logic
ok, thanks. Akougetai vevaia sa na mou leipei apeiro background (den exw spoudasei CS)
san resource iparxei kai auto https://github.com/steshaw/plt
thanks 🙂
kai auto einai poli kalo http://www.paultaylor.eu/stable/prot.pdf
prepei na mathoume oloi Coq mallon
epishs, deite trelh metafrash: https://el.wikipedia.org/wiki/Clojure