Uncurated list of smart contract resources
- Radicle(oscoin): https://radicle.xyz/
- Michelson(tezos): https://www.michelson-lang.com/
- Plutus(cardano): https://testnet.iohkdev.io/plutus/
- Simplicity(bitcoin): https://blockstream.com/simplicity.pdf (pdf)
- Scilla(zilliqa): https://scilla-lang.org/
- Formality(moonad): https://github.com/moonad/Formality
- Awesome Ocap: https://github.com/dckc/awesome-ocap
- Capability-based Financial Instruments: http://www.erights.org/elib/capability/ode/ode.pdf
- E Programming Language: http://erights.org/elang/
- Total Functional Programming: https://kseo.github.io/posts/2015-06-18-total-functional-programming.html
- Liquid Haskell: https://ucsd-progsys.github.io/liquidhaskell-blog/
- Ownership in Rust: https://medium.com/@thomascountz/ownership-in-rust-part-1-112036b1126b
- Linear logic and Linear lisp: https://cdiggins.github.io/blog/linear-logic-and-linear-lisp.html
- A Linear Logic Programming Language: http://bach.istc.kobe-u.ac.jp/llp/
- Wikipedia: https://en.wikipedia.org/wiki/Concatenative_programming_language
- Kitten Programming Language: https://kittenlang.org/
- A Simple Arited Concatenative Language: https://suhr.github.io/obsc/
- Concatenative Programming: From Ivory to Metal: https://web.stanford.edu/class/ee380/Abstracts/171115-slides.pdf
- Linear Logic and Permutation Stacks: The Forth Shall Be First: https://web.archive.org/web/20171118030503/http://home.pipeline.com/~hbaker1/ForthStack.html
- Algorithm W: https://github.com/wh5a/Algorithm-W-Step-By-Step
- Notes on Programming Languages: http://ropas.snu.ac.kr/~kwang/pl-book-draft.pdf (pdf)
- GHC CoreSynType: https://web.archive.org/web/20190223225919/https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/CoreSynType
- Implementing and Understanding Type Classes: http://okmij.org/ftp/Computation/typeclass.html
- History of Programming Languages: https://github.com/nuprl/hopl-s2017
- Golang Interface Implementation: https://www.tapirgames.com/blog/golang-interface-implementation
- Life wasm interpreter: https://github.com/perlin-network/life/blob/master/exec/helpers.go
- Haskell to wasm compiler: https://github.com/tweag/asterius