homepages.inf.ed.ac.uk
University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.
URLs from homepages.inf.ed.ac.uk:
URL: http://homepages.inf.ed.ac.uk/amos/belief.html URL: http://homepages.inf.ed.ac.uk/s0450736/maxent_toolkit.html URL: http://homepages.inf.ed.ac.uk/amos URL: http://homepages.inf.ed.ac.uk/jmoore URL: http://homepages.inf.ed.ac.uk/amos/hough.html URL: http://homepages.inf.ed.ac.uk/rni URL: http://homepages.inf.ed.ac.uk/bundy URL: http://homepages.inf.ed.ac.uk/jcb URL: http://homepages.inf.ed.ac.uk/rbf URL: http://homepages.inf.ed.ac.uk/alex URL: http://homepages.inf.ed.ac.uk/graeme URL: http://homepages.inf.ed.ac.uk/dts URL: http://homepages.inf.ed.ac.uk/als URL: http://homepages.inf.ed.ac.uk/cps URL: http://homepages.inf.ed.ac.uk/stark URL: http://homepages.inf.ed.ac.uk/wadler/topics/monads.html URL: http://homepages.inf.ed.ac.uk/wadler/realworld URL: http://homepages.inf.ed.ac.uk/dts/eml URL: http://homepages.inf.ed.ac.uk/bundy/projects/95-96/msc-project-proposal-bridge-double-dummy.html URL: http://homepages.inf.ed.ac.uk/wadler/topics/erlang.htmlTweets about homepages.inf.ed.ac.uk
- RT @bitemyapp: Arrows and Applicatives
- Arrows and Applicatives
- ワドラーさんが「XMLプログラミング言語」を(冗談だか本気だかわからんが)提案してたプレゼンってこれだったか(PDF注意)
- RT @bigdata_SFU: #bigdata can be funny! Check out how two researchers from the University of Edinburgh generated jokes using bigdata: http:…
- Great meeting yesterday on cloud automation... https://t.co/MDXjNguNp7 slides by Paul Anderson here
- RT @ggdaniel: "NASA Manager Handbook for Software Development" #Developers #software
- RT @GordonAikman: I've recorded mine. Why not donate yours? The more voices the better. Register: #MND
- I like my relationships like I like my source, open. A joke by an unsupervised learning algorithm;) interesting paper
- ssreflectのsemanticsってこれかな?
- "NASA Manager Handbook for Software Development" #Developers #software
- @ClarissaAdjoint Wadler's 'Propositions as Sessions' is a bit like that, for linear sequent calculus
- #bigdata can be funny! Check out how two researchers from the University of Edinburgh generated jokes using bigdata:
- Wadlerが作ったのはLinksだが、LINQの研究もしていてややこしい? 論文合宿、やりますか? @khibino @yuga
- RT @InfAtEd: Informatics News: RAE 2008 results What news will December 18th bring this year?
- RT @soulpunkpixie: Consider donating your voice to help those who lose theirs such as with #MND /#ALS .Please read.
- Informatics News: RAE 2008 results What news will December 18th bring this year?
- Consider donating your voice to help those who lose theirs such as with #MND /#ALS .Please read.
- I've recorded mine. Why not donate yours? The more voices the better. Register: #MND
- Settlers of Catan x violations of Gricean maxims
- RT @SmartTypes: Nice tutorial on maximum entropy modeling (MaxEnt) --
- finally getting around to reading about Combinatory Categorial Grammar
- RT @RandomlyWalking: #NIPS2014 time travellers should check out our poster yesterday on super efficient geometric Hamiltonian Monte Carlo h…
- RT @Victor_Lavrenko: Basics of Machine Learning (60 mini-lectures on one page):
- RT @Victor_Lavrenko: 100 topics in search engines
- #NIPS2014 time travellers should check out our poster yesterday on super efficient geometric Hamiltonian Monte Carlo
- @thoughtworks thanks for this link
- For formal paper writing: Some practical tips
- RT @RandomlyWalking: Or if not at #NIPS2014 (or dislike talking to us) see our work on energy disaggregation and prior knowledge here http:…
- Or if not at #NIPS2014 (or dislike talking to us) see our work on energy disaggregation and prior knowledge here
- RT @bea_alex: #HDHD Find the slides from my talk here:
- @x86_64 画像メディア工学・モルフォロジのアレ
- @AndreasMoser007 ...which reminds me somewhat of the following Dilbert Cartoon:
- RT @etorreborre: Recursive data types for free! (draft by Philip Wadler)
- Recursive data types for free! (draft by Philip Wadler)
- @chee1bot You can try this:
- The Marriage of Effects and Monads
- @carl_schmidt
- RT @silverSpoon: Thanks @ScottWlaschin for this this awesome paper suggestion for the flight back home #ndclondon
- Thanks @ScottWlaschin for this this awesome paper suggestion for the flight back home #ndclondon
- Great new book: (scaling and skewing), including the projective. The semantics of the ... #getreads #book:
- History of logic and programming languages has a huge pile of tasty papers to read
- @baogorek @Billare
- Wadler's exposition of the Curry-Howard Isomorphism and its history is really nice
- RT @deanwampler: Reading @PhilipWadler's "Propositions as Types", as one does on a Saturday morning.
- "Lambda calculus, should not only be known by aliens throughout our universe, but also throughout others"
- Reading @PhilipWadler's "Propositions as Types", as one does on a Saturday morning.
- RT @pepsin_amylase: Unsupervised joke generation from big data (ACL 2013) の日本語版実装したけど思ったより全然面白くならなかった。
- "Curry-Howard is a double-barrelled name that ensures the existence of other double-barrelled names."
- Unsupervised joke generation from big data (ACL 2013) の日本語版実装したけど思ったより全然面白くならなかった。
- @ploeh Indeed, it's a crowded term. Forward-thinking JavaScript: and