Tuesday, December 11, 2018

Marlowe: financial contracts on blockchain

›
[From the IOHK blog https://iohk.io/blog/marlowe-financial-contracts-on-blockchain/ ] The first computers were programmed in “machine cod...
1 comment:
Wednesday, August 22, 2018

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

›
CoSMed: a confidentiality-verified social media platform Bauerei T., Pesenti Gritti A., Popescu A., Raimondi F.   Journal of Automated Rea...
Monday, October 16, 2017

Is Haskell the right language for teaching functional programming principles?

›
The “park bench” panel at the Haskell eXchange last week talked about a lot of things, but some of them can be summarised by the question ...
41 comments:
Thursday, August 17, 2017

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

›
Graham Hutton's Programming in Haskell  is a leading textbook on the functional programming language Haskell that first came out in 200...
4 comments:
Wednesday, September 7, 2016

Monitoring Distributed Systems – Lessons from the RELEASE project

›
The observer effect tells us that we cannot observe a system without disturbing it; on the other hand, without observation we are unable t...
Tuesday, May 10, 2016

Trustworthy Refactoring project

›
Research Associate Positions in Refactoring Functional Programs and Formal  Verification  (CakeML) The Trustworthy Refactoring project...
Thursday, July 9, 2015

What feedback should a programming MOOC provide?

›
What sort of feedback models can be used in a MOOC and other online learning activities? In this note we look at the different styles o...