Author:
Valliappan Nachiappan,Mirliaz Solène,Lobo Vesga Elisabet,Russo Alejandro
Publisher
Springer International Publishing
Reference12 articles.
1. Barendregt, H., Dekkers, W., Statman, R.: Lambda Calculus with Types. Cambridge University Press, Cambridge (2013)
2. Cousineau, G., Curien, P., Mauny, M.: The categorical abstract machine. Sci. Comput. Program. 8(2), 173–202 (1987)
3. Elliott, C.: Compiling to categories. In: Proceedings of the ACM on Programming Languages (ICFP) (2017). http://conal.net/papers/compiling-to-categories
4. Marlow, S.: Haskell 2010 language report (2010). http://www.haskell.org/
5. Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2008)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献