Skip to content

Latest commit

 

History

History
71 lines (70 loc) · 9.98 KB

11-references.md

File metadata and controls

71 lines (70 loc) · 9.98 KB
Raw

IX. References {references}

  1. 3Box, https://3box.io/
  2. Johnsen, E.B., Steffen, M., Stumpf, J.B.: A Calculus of Virtually Timed Ambients. In: James, P. and Roggenbach, M. (eds.) Recent Trends in Algebraic Development Techniques. pp. 88–103. Springer International Publishing, Cham (2017)
  3. Merkle, R.C.: A Certified Digital Signature. In: Brassard, G. (ed.) Advances in Cryptology — CRYPTO’ 89 Proceedings. pp. 218–238. Springer New York, New York, NY (1990)
  4. Farmer, C.: A deeper look at the tech behind Textile’s Threads, https://medium.com/textileio/wip-textile-threads-whitepaper-just-kidding-6ce3a6624338
  5. A Neighborhood of Infinity: Profunctors in Haskell, http://blog.sigfpe.com/2011/07/profunctors-in-haskell.html
  6. Borril, P., Burgess, M., Craw, T., Dvorkin, M.: A Promise Theory Perspective on Data Networks. arXiv:1405.2627 [cs]. (2014)
  7. Birch, M.: A Visualization for the Future of Blockchain Consensus, https://medium.com/rchain-cooperative/a-visualization-for-the-future-of-blockchain-consensus-b6710b2f50d6
  8. Zimmer, P.: Ambient Programming in Icobjs, http://www-sop.inria.fr/mimosa/ambicobjs/
  9. Ambients, https://github.com/ambientsprotocol
  10. Applicative functor - HaskellWiki, https://wiki.haskell.org/Applicative_functor
  11. Alexander, A.: Benefits of Functional Programming, https://alvinalexander.com/scala/fp-book/benefits-of-functional-programming
  12. Bitcoin, https://bitcoin.org/en/
  13. Bugliesi, M., Castagna, G., Crafa, S.: Boxed Ambients. In: Theoretical Aspects of Computer Software. pp. 38–63. Springer Berlin Heidelberg, Berlin, Heidelberg (2001)
  14. Preguiça, N., Baquero, C., Shapiro, M.: Conflict-free Replicated Data Types (CRDTs). arXiv:1805.06358 [cs]. (2018). doi:10.1007/978-3-319-63962-8_185-1
  15. Abel, A., Pientka, B., Thibodeau, D., Setzer, A.: Copatterns: programming infinite structures by observations. In: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL ’13. p. 27. ACM Press, Rome, Italy (2013)
  16. Correct-by-construction Casper Wiki, https://github.com/ethereum/cbc-casper/wiki
  17. Dat Foundation, https://dat.foundation/
  18. Zeltser, L.: Early History of the World-Wide Web: Origins and Beyond, https://zeltser.com/web-history/#Origins_WWW
  19. Gonzalez, G.: Equational reasoning, http://www.haskellforall.com/2013/12/equational-reasoning.html
  20. Ethereum, https://ethereum.org
  21. EUGDPR – Information Portal, https://eugdpr.org/
  22. Fowler, M.: Event Sourcing, https://martinfowler.com/eaaDev/EventSourcing.html
  23. Vogel, W.: Eventually Consistent - Revisited, https://www.allthingsdistributed.com/2008/12/eventually_consistent.html
  24. Vukolic, M.: Eventually Returning to Strong Consistency. IEEE Data Eng. Bull. 39, 39–44 (2016)
  25. Functor - HaskellWiki, https://wiki.haskell.org/Functor#Functor_Laws
  26. Git, https://git-scm.com/
  27. Buus, M.: Hypercore is a secure, distributed append-only log., https://github.com/mafintosh/hypercore
  28. Benet, J.: IPFS - Content Addressed, Versioned, P2P File System. arXiv:1407.3561 [cs]. (2014)
  29. Protocol Labs: IPFS is the Distributed Web, https://ipfs.io/
  30. ipfs-log - Append-only log CRDT on IPFS, https://github.com/orbitdb/ipfs-log
  31. Claburn, T.: “Lambda and serverless is one of the worst forms of proprietary lock-in we’ve ever seen in the history of humanity,” https://www.theregister.co.uk/2017/11/06/coreos_kubernetes_v_world/
  32. Protocol Labs: libp2p - A modular network stack, https://libp2p.io/
  33. Helland, P.: Life Beyond Distributed Transactions - ACM Queue, https://queue.acm.org/detail.cfm?id=3025012
  34. Bernardy, J.-P., Spiwack, A.: Linear types make performance more predictable, https://www.tweag.io/posts/2017-03-13-linear-types.html
  35. Bailis, P.: Linearizability versus Serializability, http://www.bailis.org/blog/linearizability-versus-serializability/
  36. Kleppmann, M., Wiggins, A., van Hardenberg, P., McGranaghan, M.: Local-first software: You own your data, in spite of the cloud, https://www.inkandswitch.com/local-first.html
  37. Kahle, B.: Locking the Web Open: A Call for a Decentralized Web, http://brewster.kahle.org/2015/08/11/locking-the-web-open-a-call-for-a-distributed-web-2/
  38. Guan, X., Yang, Y., You, J.: Making Ambients More Robust. (2002)
  39. Sanjuan, H., Pöyhtäri, S., Teixeira, P.: Merkle-CRDTs, https://hector.link/presentations/merkle-crdts/merkle-crdts.pdf, (2019)
  40. Cardelli, L., Gordon, A.D.: Mobile Ambients. In: Proceedings of the First International Conference on Foundations of Software Science and Computation Structure. pp. 140–155. Springer-Verlag, London, UK, UK (1998)
  41. Genovese, F.R.: Modularity vs Compositionality: A History of Misunderstandings, https://blog.statebox.org/modularity-vs-compositionality-a-history-of-misunderstandings-be0150033568
  42. Monad - HaskellWiki, https://wiki.haskell.org/Monad
  43. Phillips, I., Vigliotti, M.G.: On Reduction Semantics for the Push and Pull Ambient Calculus. In: Baeza-Yates, R., Montanari, U., and Santoro, N. (eds.) Foundations of Information Technology in the Era of Network and Mobile Computing. pp. 550–562. Springer US, Boston, MA (2002)
  44. Peters, K., Nestmann, U.: On the Distributability of Mobile Ambients. arXiv:1808.01599 [cs]. (2018)
  45. Kleppmann, M., Gomes, V.B.F., Mulligan, D.P., Beresford, A.R.: OpSets: Sequential Specifications for Replicated Datatypes (Extended Version). arXiv:1805.04263 [cs]. (2018)
  46. OrbitDB, https://github.com/orbitdb
  47. Verborgh, R.: Paradigm shifts for the decentralized Web, https://ruben.verborgh.org/blog/2017/12/20/paradigm-shifts-for-the-decentralized-web/
  48. Human Rights Watch: “Race to the Bottom”: Corporate Complicity in Chinese Internet Censorship, https://www.hrw.org/reports/2006/china0806/5.htm
  49. Bonér, J.: Reactive Microsystems: The Evolution of Microservices at Scale. O’Reilly Media, Inc (2017)
  50. Scuttlebutt - a decent(ralised) secure gossip platform, https://www.scuttlebutt.nz/
  51. Scuttlebutt Protocol Guide, https://ssbc.github.io/scuttlebutt-protocol-guide/#feeds
  52. Hellerstein, J.M., Faleiro, J., Gonzalez, J.E., Schleier-Smith, J., Sreekanti, V., Tumanov, A., Wu, C.: Serverless Computing: One Step Forward, Two Steps Back. arXiv:1812.03651 [cs]. (2018)
  53. Catalini, C., Gans, J.S.: Some Simple Economics of the Blockchain. Social Science Research Network, Rochester, NY (2017)
  54. Textile, https://textile.io/
  55. Barrera, C.: The Blockchain Effect, https://medium.com/mit-cryptoeconomics-lab/the-blockchain-effect-86bd01006ec2
  56. Tabora, V.: The Evolution of the Internet, From Decentralized to Centralized, https://hackernoon.com/the-evolution-of-the-internet-from-decentralized-to-centralized-3e2fa65898f5
  57. Seemann, M.: The Identity functor, https://blog.ploeh.dk/2018/09/03/the-identity-functor/
  58. Hickey, R.: The Value of Values, https://gotocon.com/dl/goto-cph-2012/slides/value-of-values.pdf
  59. Berners-Lee, T.: Three challenges for the web, according to its inventor, https://webfoundation.org/2017/03/web-turns-28-letter/
  60. Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM. 21, 558–565 (1978). doi:10.1145/359545.359563
  61. Kwang, Y.S.: Total functional programming, https://kseo.github.io/posts/2015-06-18-total-functional-programming.html
  62. Turner, D.A.: Total Functional Programming. J. UCS. 10, 751–768 (2004). doi:10.3217/jucs-010-07-0751
  63. Hillston, J.: Tuning Systems: From Composition to Performance. The Computer Journal. 48, 385–400 (2005). doi:10.1093/comjnl/bxh097
  64. Kreps, J.: What every software engineer should know about real-time data’s unifying abstraction, https://engineering.linkedin.com/distributed-systems/log-what-every-software-engineer-should-know-about-real-time-datas-unifying
  65. What is a Merkle DAG?, https://discuss.ipfs.io/t/what-is-a-merkle-dag/386
  66. Dixon, C.: Why Decentralization Matters – Featured Stories, https://medium.com/s/story/why-decentralization-matters-5e3f79f7638e
  67. Pressler, R.: Why Writing Correct Software Is Hard, http://blog.paralleluniverse.co/2016/07/23/correctness-and-complexity/
  68. World’s Biggest Data Breaches & Hacks, https://informationisbeautiful.net/visualizations/worlds-biggest-data-breaches-hacks/
  69. Zamyatin, A., Harz, D., Lind, J., Panayiotou, P., Gervais, A., Knottenbelt, W.J.: XCLAIM: Trustless, Interoperable Cryptocurrency-Backed Assets. (2018)