profsjt
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...
›
Home
View web version