Fetching the paper…
Reading the bibliography…
As gradual typing becomes increasingly popular in languages like Python and TypeScript, there is a growing need to infer type annotations automatically.
Local type inference
Benjamin C Pierce and David N Turner · 2000
Earlier work this paper cites.
Principal typings for java-like languages
Davide Ancona and Elena Zucca · 2004
Earlier work this paper cites.
Gradual typing for objects
Jeremy G. Siek and Walid Taha · 2007
Earlier work this paper cites.
Extending hindley-milner type inference with coercive structural subtyping
Dmitriy Traytel, Stefan Berghofer, and Tobias Nipkow · 2011
Earlier work this paper cites.
Zero-shot learning for semantic utterance classification
Yann Dauphin, Gokhan Tur, Dilek Z. Hakkani-Tur, and Larry P. Heck · 2013
Earlier work this paper cites.
An empirical study on the impact of static typing on software maintainability
Stefan Hanenberg, Sebastian Kleinschmager, Romain Robbes, Éric Tanter, and Andreas Stefik · 2013
Earlier work this paper cites.
Understanding typescript
Gavin Bierman, Martín Abadi, and Mads Torgersen · 2014
Earlier work this paper cites.
Adam: A method for stochastic optimization
Diederik P. Kingma and Jimmy Ba · 2014
Earlier work this paper cites.
Design and evaluation of gradual typing for python
Michael M Vitousek, Andrew M Kent, Jeremy G Siek, and Jim Baker · 2014
Earlier work this paper cites.
Predicting program properties from ”big code”
Veselin Raychev, Martin Vechev, and Andreas Krause · 2015
Earlier work this paper cites.
Pointer networks
Oriol Vinyals, Meire Fortunato, and Navdeep Jaitly · 2015
Cited alongside, same era.
Pointing the unknown words
Caglar Gulcehre, Sungjin Ahn, Ramesh Nallapati, Bowen Zhou, and Yoshua Bengio · 2016
Cited alongside, same era.
Gated graph sequence neural networks
Yujia Li, Daniel Tarlow, Marc Brockschmidt, and Richard S. Zemel · 2016
Cited alongside, same era.
Convolutional neural networks over tree structures for programming language processing
Lili Mou, Ge Li, Lu Zhang, Tao Wang, and Zhi Jin · 2016
Cited alongside, same era.
Label noise reduction in entity typing by heterogeneous partial-label embedding
Xiang Ren, Wenqi He, Meng Qu, Clare R Voss, Heng Ji, and Jiawei Han · 2016
Cited alongside, same era.
Python probabilistic type inference with natural language support
To type or not to type: Quantifying detectable bugs in javascript
Zheng Gao, Christian Bird, and Earl T. Barr · 2017
Later among the works it cites.
Premise selection for theorem proving by deep graph embedding
Mingzhe Wang, Yihe Tang, Jian Wang, and Jia Deng · 2017
Later among the works it cites.
Kafka: Gradual typing for objects
Benjamin Chung, Paley Li, Francesco Zappa Nardelli, and Jan Vitek · 2018
Later among the works it cites.
Deep learning type inference
Vincent J. Hellendoorn, Christian Bird, Earl T. Barr, and Miltiadis Allamanis · 2018
Later among the works it cites.
Graph Attention Networks
Petar Veličković, Guillem Cucurull, Arantxa Casanova, Adriana Romero, Pietro Liò, and Yoshua Bengio · 2018
Later among the works it cites.
Zero-shot recognition via semantic embeddings and knowledge graphs
Xiaolong Wang, Yufei Ye, and Abhinav Gupta · 2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Zhaogui Xu, Xiangyu Zhang, Lin Chen, Kexin Pei, and Baowen Xu · 2016
Cited alongside, same era.
Learning to represent programs with graphs
Miltiadis Allamanis, Marc Brockschmidt, and Mahmoud Khademi · 2017
Cited alongside, same era.
Named entity disambiguation for noisy text
Yotam Eshel, Noam Cohen, Kira Radinsky, Shaul Markovitch, Ikuya Yamada, and Omer Levy · 2017
Cited alongside, same era.
Describing objects by their attributes
Ali Farhadi, Ian Endres, Derek Hoiem, and David Forsyth · 2017
Cited alongside, same era.
https://github.com/eclipse/deeplearning4j
Deeplearning4j · 2019
Later among the works it cites.
Predicting variable types in dynamically typed programming languages
Abhinav Jangda and Gaurav Anand · 2019
Later among the works it cites.
Nl2type: inferring javascript function types from natural language information
Rabee Sohail Malik, Jibesh Patra, and Michael Pradel · 2019
Later among the works it cites.