Alain Frisch

From MaRDI portal



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
Parametric polymorphism for XML
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
2017-07-14Paper
Semantic subtyping, dealing set-theoretically with function, union, intersection, and negation types
Journal of the ACM
2015-11-11Paper
OCaml + XDuce
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
2015-08-03Paper
CDuce: an XML-centric general-purpose language
Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
2015-07-02Paper
The relevance of semantic subtyping
Electronic Notes in Theoretical Computer Science
2013-08-16Paper
Theoretical Computer Science
Lecture Notes in Computer Science
2006-11-01Paper
Automata, Languages and Programming
Lecture Notes in Computer Science
2006-01-10Paper
Automata, Languages and Programming
Lecture Notes in Computer Science
2005-08-24Paper
scientific article; zbMATH DE number 2163053 (Why is no real title available?)2005-04-29Paper


Research outcomes over time


This page was built for person: Alain Frisch