Efficient Inference of Partial Types

DAIMI Report Series
doi 10.7146/dpb.v21i394.6629
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Aarhus University Library

Related search

Partial Evaluation With Inference Rules

New Generation Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceSoftware
1988English

Type Inference With Constrained Types

Theory and Practice of Object Systems
1999English

Unconditional Types of Inference and Logical Knowledge

Veritas (Porto Alegre)
2016English

Ambivalent Types for Principal Type Inference With GADTs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Biological Network Inference Using Low Order Partial Correlation

Methods
BiochemistryGeneticsMolecular Biology
2014English

Efficient Inference Control for Open Relational Queries

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Stratified Type Inference for Generalized Algebraic Data Types

2006English

Extending Model Checking to Efficient Propositional Inference

International Journal of Machine Learning and Computing
ManagementComputer Science ApplicationsInformation SystemsArtificial Intelligence
2014English

Partial Polymorphic Type Inference and Higher-Order Unification

1988English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy