Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Tatsurou Sekiguchi
A Complete Type Inference System for Subtyped Recursive Types
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Type Inference With Constrained Types
Theory and Practice of Object Systems
Ambivalent Types for Principal Type Inference With GADTs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Stratified Type Inference for Generalized Algebraic Data Types
A Behavioral Type Inference System for Compositional System-On-Chip Design
Simple, Partial Type-Inference for System F Based on Type-Containment
Recursive Equivalence Types and Octahedra
Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
Recursive Compositional Models: Representation, Learning, and Inference
Type Inference for a Distributed Π-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type Qualifier Inference for Java
