Polymorphic Type Inference for Machine Code

ACM SIGPLAN Notices - United States
doi 10.1145/2980983.2908119
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Polymorphic Type Inference for the JNI

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Polymorphic Type, Region and Effect Inference

Journal of Functional Programming
Software
1992English

Partial Polymorphic Type Inference and Higher-Order Unification

1988English

A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference

Proceedings of the ACM on Programming Languages
2019English

Directed Proof Generation for Machine Code

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Proof Theory for Machine Code

ACM Transactions on Programming Languages and Systems
Software
2007English

Type Qualifier Inference for Java

2007English

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Distributed Autonomic Inference Machine for Wireless Sensor Networks

2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy