profsjt profsjt.blogspot.com

Marlowe: financial contracts on blockchain

profsjt.blogspot.com·388w·profsjt.blogspot.com

Review of: CoSMed: a confidentiality-verified social media platform

profsjt.blogspot.com·404w·profsjt.blogspot.com

Is Haskell the right language for teaching functional programming principles?

profsjt.blogspot.com·448w·profsjt.blogspot.com

Review of Graham Hutton's Programming in Haskell, 2e

profsjt.blogspot.com·457w·profsjt.blogspot.com

Monitoring Distributed Systems – Lessons from the RELEASE project

profsjt.blogspot.com·506w·profsjt.blogspot.com

Trustworthy Refactoring project

profsjt.blogspot.com·523w·profsjt.blogspot.com

What feedback should a programming MOOC provide?

profsjt.blogspot.com·567w·profsjt.blogspot.com

The Erlang mini-MOOC pilot … what have we learned?

profsjt.blogspot.com·570w·profsjt.blogspot.com

On the fine-structure of regular algebra by Foster and Struth (review)

profsjt.blogspot.com·573w·profsjt.blogspot.com

Erlang MOOC pilot, day 3

profsjt.blogspot.com·575w·profsjt.blogspot.com

“Functional Programming in Erlang” MOOC pilot

profsjt.blogspot.com·575w·profsjt.blogspot.com

Automated Proof in Practice

profsjt.blogspot.com·577w·profsjt.blogspot.com

Some stories about Alan Turing

profsjt.blogspot.com·586w·profsjt.blogspot.com

The Imitation Game – telling a good story about Alan Turing

profsjt.blogspot.com·586w·profsjt.blogspot.com

Advice on going to your first conference

profsjt.blogspot.com·606w·profsjt.blogspot.com

Reading Robert Macfarlane by the internet

profsjt.blogspot.com·612w·profsjt.blogspot.com

Cloud Refactoring

profsjt.blogspot.com·612w·profsjt.blogspot.com

In honour of Robert Wyatt

profsjt.blogspot.com·617w·profsjt.blogspot.com

Fifteen facts about EPSRC

profsjt.blogspot.com·620w·profsjt.blogspot.com

Review of "Certified Programming with Dependent Types"

profsjt.blogspot.com·622w·profsjt.blogspot.com

Log in to enable infinite scrolling