haroldcarr/blockchain-with-linear-types

Runtime implementation of paper "Linear types can change the blockchain!" (in Haskell)

• Linear Types Can Change the Blockchain, Lucius Gregory Meredith
  • paper
    • https://arxiv.org/abs/1506.01001
    • tex : https://github.com/leithaus/pi4u/tree/master/ltcctbc
    • I found via a different paper referenced at : http://researcher.watson.ibm.com/researcher/view_group_subpage.php?id=6940
  • reddit : https://www.reddit.com/r/Bitcoin/comments/37b0t6/linear_types_can_change_the_blockchain/?st=iwxtw7n6&sh=0a20de4f
    • hangout : https://plus.google.com/u/0/events/cmqejp6d43n5cqkdl3iu0582f4k
• references
  • Computational interpretations of linear logic, Samson Abramsky
    • http://www.sciencedirect.com/science/article/pii/030439759390181R
• other papers
  • Jeff Polakow : Embedding a Full Linear Lambda Calculus in Haskell
    • http://functorial.com/Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell/linearlam.pdf
  • emulating linear types in Haskell
    • http://cs.ioc.ee/~tarmo/tsem11/jeltsch1602-slides.pdf
  • typecoin
    • https://www.msully.net/stuff/typecoin.pdf
    • https://www.msully.net/stuff/typecoin-slides.pdf
    • https://github.com/msullivan/sully-lf