Author:
St-Amour Vincent,Tobin-Hochstadt Sam,Flatt Matthew,Felleisen Matthias
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Buneman, P., Pierce, B.: Union types for semistructured data. In: Proc. Works. On Database Programming Languages, pp. 184–207 (1999)
2. Coppo, M., Dezani-Ciancaglin, M.: A new type assignment for λ-terms. Archiv Math. Logik 19, 139–156 (1978)
3. Dahl, O.-J.: SIMULA 67 Common Base Language. Norwegian Computing Center (1968)
4. Flatt, M., PLT.: Reference: Racket. PLT Inc., PLT-TR-2010-1 (2010),
http://racket-lang.org/tr1/
5. Goldberg, A., Robson, D.: Smalltalk-80: the Language and its Implementation. Addison-Wesley (1983)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Deep and shallow types for gradual languages;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
2. How to evaluate blame for gradual types;Proceedings of the ACM on Programming Languages;2021-08-22
3. A spectrum of type soundness and performance;Proceedings of the ACM on Programming Languages;2018-07-30
4. Higher order symbolic execution for contract verification and refutation;Journal of Functional Programming;2016-12-21
5. Parallel type-checking with haskell using saturating LVars and stream generators;ACM SIGPLAN Notices;2016-11-09