Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Daniel Métayer
Lazy Type Inference for the Strictness Analysis of Lists
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Finiteness Conditions for Strictness Analysis
DAIMI Report Series
Polymorphic Type Inference for the JNI
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type Qualifier Inference for Java
Invariant and Type Inference for Matrices
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Polymorphic Type Inference for Machine Code
ACM SIGPLAN Notices
Computer Science
An Analysis of Double-Function Lists
Memory and Cognition
Arts
Neuropsychology
Cognitive Psychology
Humanities
Physiological Psychology
Medicine
Experimental
Type Inference for a Distributed Π-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type Inference and Type Checking for Queries on Execution Traces
Proceedings of the VLDB Endowment
Computer Science
Type Inference of Turbo Pascal
BRICS Report Series