Different type inference algorithms implemented in F#
Type4Py: Deep Similarity Learning-Based Type Inference for Python
A Micro-benchmarking Framework for Python Type Inference Tools
bidirectional type checking algorithms for higher-ranked polymorphism
#计算机科学# 🐍 Deep Learning Type Inference of Python Function Signatures using their Natural Language Context
VSCode Extension of Type4Py
Implementation of Hindley-Milner type inference algorithm in Java
Vault is a next-generation state management library for Kotlin that combines transactional safety with reactive programming. It provides a robust, type-safe way to manage application state with automa...
Java source code example demonstrating Local variable Type Inference (var), posted on personal blog (http://bit.ly/VarJava).
Gradle source code repository for Java 11 source code examples posted on personal blog (http://bit.ly/Java11Ft1).
Gentle introduction to Java 10 local variable type inference.
Auxiliary type inference without writing types that are not necessary.