PWL #20: Liquid Haskell / PayWord and Micromint

[Hi friends! For June we're going to try something a little different - two presenters talking about two different papers in a shorter format. I'm excited to see how it works! As usual, if you have a paper you love and would like to present at a future meetup, give me a shout! -d]

PayWord and MicroMint: Two simple micropayment schemes

This paper from 2001 written by Ronald Rivest and Adi Shamir (The R and S from RSA) is discussing how to design a micropayments scheme when making one of those was a popular idea. It uses relatively simple cryptography and some neat tricks in order to build systems that solve a complex problem.

http://people.csail.mit.edu/rivest/RivestShamir-mpay.pdf

Harley graduated from the University of California, Riverside and has been a developer for the past decade. They are interested in microservices, security, and free software.

Liquid Haskell

Liquid Haskell is a type refinement framework which can be loosely described as a more rigorous and mathematical testing framework. It helps provide static guarantees that your code never gets into a "bad" state, giving you more freedom to write code.

Garrett is a Software Engineer specializing in Java based distributed systems. He is a Haskell coder on the side and has a passion for writing correct but fast code.

http://goto.ucsd.edu/~rjhala/papers/real_world_liquid.pdf

Remember

We strictly abide by the Code of Conduct (https://github.com/papers-we-love/papers-we-love/blob/master/CODE_OF_CONDUCT.md) set forth by all PWL charters.