Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jinxu Zhao
A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference
Proceedings of the ACM on Programming Languages
Related publications
Partial Polymorphic Type Inference and Higher-Order Unification
Polymorphic Type Inference for Machine Code
ACM SIGPLAN Notices
Computer Science
Polymorphic Type Inference for the JNI
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Polymorphic Type, Region and Effect Inference
Journal of Functional Programming
Software
Regime Type and Bilateral Treaty Formalization
Journal of Conflict Resolution
Sociology
International Relations
Business
Management
Political Science
Accounting
A 3-Part Type Inference Engine
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Categorical Semantics for Higher Order Polymorphic Lambda Calculus
Journal of Symbolic Logic
Philosophy
Logic
Type Inference of Turbo Pascal
BRICS Report Series
A Formalization of Polytime Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science