Header-only ObjC modernization pack 😎
-
Updated
Oct 17, 2022 - Objective-C
Header-only ObjC modernization pack 😎
Implementation of Hindley-Milner type inference algorithm in Java
bidirectional type checking algorithms for higher-ranked polymorphism
Gentle introduction to Java 10 local variable type inference.
Auxiliary type inference without writing types that are not necessary.
VSCode Extension of Type4Py
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).
A Micro-benchmarking Framework for Python Type Inference Tools
🐍 Deep Learning Type Inference of Python Function Signatures using their Natural Language Context
Different type inference algorithms implemented in F#
Type4Py: Deep Similarity Learning-Based Type Inference for Python
An advanced static type checker
Add a description, image, and links to the typeinference topic page so that developers can more easily learn about it.
To associate your repository with the typeinference topic, visit your repo's landing page and select "manage topics."