Andong Fan

From MaRDI portal
Person:3402710



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!

PublicationDate of PublicationType
A calculus with recursive types, record concatenation and subtyping
Programming Languages and Systems
2023-07-25Paper
scientific article; zbMATH DE number 7478012 (Why is no real title available?)2022-02-22Paper
scientific article; zbMATH DE number 5669778 (Why is no real title available?)2010-02-12Paper


Research outcomes over time


This page was built for person: Andong Fan