Fetching the paper…
Reading the bibliography…
We present a new approach to the type inference problem for dynamic languages.
Robbins, H., Monro, S.: A stochastic approximation method. The Annals of Mathematical Statistics 22
1951
Earlier work this paper cites.
Milner, R.: A theory of type polymorphism in programming. J. Comput. Syst. Sci. 17
1978
Earlier work this paper cites.
Bertsekas, D.: Constrained Optimization and Lagrange Multiplier Methods. Athena Scientific (1982). https://doi.org/10.1016/B978-0-12-093480-5.50001-5
1982
Earlier work this paper cites.
Hochreiter, S., Schmidhuber, J.: Long short-term memory. Neural Computation 9
1997
Earlier work this paper cites.
Hájek, P.: Metamathematics of fuzzy logic. Trends in logic ; v. 4, Kluwer, Dordrecht ; London (1998). https://doi.org/10.1007/978-94-011-5300-3
1998
Earlier work this paper cites.
Odersky, M., Sulzmann, M., Wehr, M.: Type inference with constrained types. TAPOS 5
1999
Earlier work this paper cites.
Pierce, B.: Types and Programming Languages. MIT Press, London (2002)
2002
Earlier work this paper cites.
Yedidia, J.S., Freeman, W.T., Weiss, Y.: Understanding Belief Propagation and Its Generalizations, p. 239–269. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (2003)
2003
Earlier work this paper cites.
Bracha, G.: Pluggable type systems. In: OOPSLA workshop on revival of dynamic languages. vol. 4. Association for Computing Machinery, New York, NY, USA (01 2004)
2004
Earlier work this paper cites.
Pottier, F., Rémy, D.: The essence of ml type inference. In: Pierce, B.C. (ed.) Advanced Topics in Types and Programming Languages, pp. 389–489. MIT Press (2005)
2005
Earlier work this paper cites.
Siek, J.G., Taha, W.: Gradual typing for functional languages. scheme and functional programming workshop (2006), http://www.schemeworkshop.org/2006/13-siek.pdf
2006
Earlier work this paper cites.
Gneiting, T., Raftery, A.E.: Strictly proper scoring rules, prediction, and estimation. Journal of the American Statistical Association 102
2007
Earlier work this paper cites.
Manning, C.D., Raghavan, P., Schütze, H.: Introduction to Information Retrieval. Cambridge University Press, USA (2008)
2008
Earlier work this paper cites.
Rondon, P.M., Kawaguci, M., Jhala, R.: Liquid types. In: Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 159–169. PLDI ’08, ACM, New York, NY, USA (2008). https://doi.org/10.1145/1375581.1375602
2008
Earlier work this paper cites.
Jensen, S.H., Møller, A., Thiemann, P.: Type analysis for JavaScript. In: Palsberg, J., Su, Z. (eds.) Static Analysis. pp. 238–255. Springer, Berlin, Heidelberg (Aug 2009). https://doi.org/10.1007/978-3-642-03237-0_17
2009
Earlier work this paper cites.
Bierman, G.M., Gordon, A.D., Hritcu, C., Langworthy, D.E.: Semantic subtyping with an SMT solver. J. Funct. Program. 22
2012
Earlier work this paper cites.
Chugh, R., Herman, D., Jhala, R.: Dependent types for javascript. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications. pp. 587–606. OOPSLA ’12, ACM, New York, NY, USA (2012). https://doi.org/10.1145/2384616.2384659
2012
Earlier work this paper cites.
Hindle, A., Barr, E.T., Su, Z., Gabel, M., Devanbu, P.: On the naturalness of software. In: International Conference on Software Engineering (ICSE). pp. 837–847. IEEE, Piscataway, NJ, USA (Jun 2012). https://doi.org/10.1109/ICSE.2012.6227135
2012
Earlier work this paper cites.
Meyerovich, L.A., Rabkin, A.S.: Socio-plt: Principles for programming language adoption. In: International Symposium on New ideas, New Paradigms, and Reflections on Programming and Software. pp. 39–54. ACM, New York, NY, USA (2012)
2012
Earlier work this paper cites.
Sundermeyer, M., Schlüter, R., Ney, H.: LSTM neural networks for language modeling. In: INTERSPEECH 2012, 13th Annual Conference of the International Speech Communication Association, Portland, Oregon, USA, September 9-13, 2012. pp. 194–197. ISCA, Portland, Oregon, USA (2012), http://www.isca-speech.org/archive/interspeech˙2012/i12˙0194.html
2012
Earlier work this paper cites.
Sutton, C., McCallum, A., et al.: An introduction to conditional random fields. Foundations and Trends® in Machine Learning 4
2012
Cited alongside, same era.
Bierman, G., Abadi, M., Torgersen, M.: Understanding TypeScript. In: Jones, R. (ed.) Lecture Notes in Computer Science. pp. 257–281. Springer, Berlin, Heidelberg (2014). https://doi.org/10.1007/978-3-662-44202-9_11
2014
Cited alongside, same era.
Feldthaus, A., Møller, A.: Checking correctness of typescript interfaces for javascript libraries. SIGPLAN Not. 49
2014
Cited alongside, same era.
Hanenberg, S., Kleinschmager, S., Robbes, R., Tanter, É., Stefik, A.: An empirical study on the impact of static typing on software maintainability. Empirical Software Engineering 19
2014
Cited alongside, same era.
The-Mypy-Project: Mypy lang (2014), http://mypy-lang.org/ , http://mypy-lang.org/
2014
Kristensen, E.K., Møller, A.: Type test scripts for typescript testing. ACM on Programming Languages 1
2017
Later among the works it cites.
Paszke, A., Gross, S., Chintala, S., Chanan, G., Yang, E., DeVito, Z., Lin, Z., Desmaison, A., Antiga, L., Lerer, A.: Automatic differentiation in pytorch (2017), https://pdfs.semanticscholar.org/b36a/5bb1707bb9c70025294b3a310138aae8327a.pdf
2017
Later among the works it cites.
Williams, J., Morris, J.G., Wadler, P., Zalewski, J.: Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact). Dagstuhl Artifacts Series 3
2017
Later among the works it cites.
Allamanis, M., Barr, E.T., Devanbu, P., Sutton, C.: A survey of machine learning for big code and naturalness. ACM Computing Surveys (CSUR) 51
2018
Later among the works it cites.
Bastov, B.: Ruby style guide (2018), https://github.com/bbatsov/ruby-style-guide/
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Tieleman, T., Hinton, G.: RMSprop
2014
Cited alongside, same era.
Vazou, N., Seidel, E.L., Jhala, R., Vytiniotis, D., Peyton-Jones, S.: Refinement types for haskell. In: Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming. pp. 269–282. ICFP ’14, ACM, New York, NY, USA (2014). https://doi.org/10.1145/2628136.2628161
2014
Cited alongside, same era.
Raychev, V., Vechev, M., Krause, A.: Predicting program properties from ”big code”. In: SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 111–124. ACM, New York, NY, USA (2015). https://doi.org/10.1145/2676726.2677009
2015
Cited alongside, same era.
Rocktäschel, T., Singh, S., Riedel, S.: Injecting logical background knowledge into embeddings for relation extraction. In: Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. pp. 1119–1129. Association for Computational Linguistics, Denver, Colorado (May 2015). https://doi.org/10.3115/v1/N15-1118
2015
Cited alongside, same era.
Tirronen, V., Uusi-Makela, S., Isomottoen, V.: Understanding beginners’ mistakes with haskell. Journal of Functional Programming 25
2015
Cited alongside, same era.
Vinyals, O., Fortunato, M., Jaitly, N.: Pointer networks. In: Advances in Neural Information Processing Systems 28, pp. 2692–2700. Curran Associates, Inc. (2015), http://papers.nips.cc/paper/5866-pointer-networks.pdf
2015
Cited alongside, same era.
White, M., Vendome, C., Linares-Vasquez, M., Poshyvanyk, D.: Toward deep learning software repositories. In: Working Conference on Mining Software Repositories. pp. 334–345. IEEE, Piscataway, NJ, USA (May 2015). https://doi.org/10.1109/MSR.2015.38
2015
Cited alongside, same era.
2018
Later among the works it cites.
Bastov, B.: Rubycop (2018), https://github.com/bbatsov/rubocop/
2018
Later among the works it cites.
Facebook: Flow (2019), https://flow.org , [Online; accessed 24-February-2018]
2018
Later among the works it cites.
Google: Google Closure Compiler (2019), [Online; accessed 26-February-2018]
2018
Later among the works it cites.
Gottschlich, J., Solar-Lezama, A., Tatbul, N., Carbin, M., Rinard, M., Barzilay, R., Amarasinghe, S., Tenenbaum, J.B., Mattson, T.: The three pillars of machine programming. In: Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages. p. 69–80. Association for Computing Machinery, New York, NY, USA (2018). https://doi.org/10.1145/3211346.3211355
2018
Later among the works it cites.
Hellendoorn, V.J., Bird, C., Barr, E.T., Allamanis, M.: Deep learning type inference. In: ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. pp. 152–162. ESEC/FSE 2018, ACM, New York, NY, USA (2018). https://doi.org/10.1145/3236024.3236051
2018
Later among the works it cites.
Melis, G., Dyer, C., Blunsom, P.: On the state of the art of evaluation in neural language models. In: International Conference on Learning Representations (2018), https://openreview.net/forum?id=ByJHuTgA-
2018
Later among the works it cites.
Malik, R.S., Patra, J., Pradel, M.: Nl2type: Inferring javascript function types from natural language information. In: International Conference on Software Engineering. pp. 304–315. IEEE, Piscataway, NJ, USA (2019). https://doi.org/10.1109/ICSE.2019.00045
2019
Later among the works it cites.
Allamanis, M., Barr, E.T., Ducousso, S., Gao, Z.: Typilus: Neural type hints. ArXiv abs/2004.10657
2020
Closest in time.
GitHub: GitHub (2020), https://github.com
2020
Closest in time.
GitLab: GitLab (2020), https://gitlab.com
2020
Closest in time.
Goldberg, J.K.: TypStat (2020), https://github.com/JoshuaKGoldberg/TypeStat
2020
Closest in time.
Microsoft: TypeScript (2020), https://github.com/microsoft/TypeScript
2020
Closest in time.
2020
Closest in time.
Wei, J., Goyal, M., Durrett, G., Dillig, I.: LambdaNet: Probabilistic type inference using graph neural networks. In: 8th International Conference on Learning Representations, ICLR 2020, Addis Ababa, Ethiopia, April 26-30, 2020. OpenReview.net (2020), https://openreview.net/forum?id=Hkx6hANtwH
2020
Closest in time.
Williams, J., Negreanu, C., Gordon, A., Sarkar, A.: Understanding and inferring units in spreadsheets. In: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). IEEE (July 2020), https://www.microsoft.com/en-us/research/publication/understanding-and-inferring-units-in-spreadsheets/
2020
Closest in time.