Val Breazu-Tannen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A query language for NC (extended abstract) Lecture Notes in Computer Science	2023-12-12	Paper
scientific article; zbMATH DE number 814794 (Why is no real title available?)	1996-04-16	Paper
Polymorphic rewriting conserves algebraic confluence Information and Computation	1994-10-12	Paper
scientific article; zbMATH DE number 445155 (Why is no real title available?)	1993-12-05	Paper
scientific article; zbMATH DE number 176725 (Why is no real title available?)	1993-05-18	Paper
Inheritance as implicit coercion Information and Computation	1992-06-25	Paper
Polymorphic rewriting conserves algebraic strong normalization Theoretical Computer Science	1992-06-25	Paper
scientific article; zbMATH DE number 4124996 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4180771 (Why is no real title available?)	1989-01-01	Paper
Extensional models for polymorphism Theoretical Computer Science	1988-01-01	Paper
scientific article; zbMATH DE number 4035777 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3941503 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: Val Breazu-Tannen