Polymorphic Subtyping for Effect Analysis: The Semantics

DAIMI Report Series
doi 10.7146/dpb.v25i502.7031
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Aarhus University Library

Related search

Subtyping Can Have a Simple Semantics

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1991English

Categorical Semantics for Higher Order Polymorphic Lambda Calculus

Journal of Symbolic Logic
PhilosophyLogic
1987English

Horn Clause Programs With Polymorphic Types: Semantics and Resolution

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1989English

Semantics Analysis

PIONEER: Journal of Language and Literature
2019English

Single-Nucleotide Repeat Analysis for Subtyping Bacillus Anthracis Isolates

Journal of Clinical Microbiology
Microbiology
2006English

CFTR Expression Analysis for Subtyping of Human Pancreatic Cancer Organoids

Pancreatology
EndocrinologyHepatologyMetabolismGastroenterologyDiabetes
2019English

The Enriched Effect Calculus: Syntax and Semantics

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2012English

Optimizing Tissue Sampling for the Diagnosis, Subtyping, and Molecular Analysis of Lung Cancer

Frontiers in Oncology
Cancer ResearchOncology
2014English

Semantics-Aware Trace Analysis

ACM SIGPLAN Notices
Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy