Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jürgen Ammann
Polymorphic Subtyping for Effect Analysis: The Semantics
DAIMI Report Series
Related publications
Subtyping Can Have a Simple Semantics
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Categorical Semantics for Higher Order Polymorphic Lambda Calculus
Journal of Symbolic Logic
Philosophy
Logic
Horn Clause Programs With Polymorphic Types: Semantics and Resolution
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Semantics Analysis
PIONEER: Journal of Language and Literature
Single-Nucleotide Repeat Analysis for Subtyping Bacillus Anthracis Isolates
Journal of Clinical Microbiology
Microbiology
CFTR Expression Analysis for Subtyping of Human Pancreatic Cancer Organoids
Pancreatology
Endocrinology
Hepatology
Metabolism
Gastroenterology
Diabetes
The Enriched Effect Calculus: Syntax and Semantics
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Optimizing Tissue Sampling for the Diagnosis, Subtyping, and Molecular Analysis of Lung Cancer
Frontiers in Oncology
Cancer Research
Oncology
Semantics-Aware Trace Analysis
ACM SIGPLAN Notices
Computer Science
