Using Synthetic Domain Theory to Prove Operational Properties of a Polymorphic Programming Language Based on Strictness

Alex Simpson, Giuseppe Rosolini

Research output: Working paper

Fingerprint

Dive into the research topics of 'Using Synthetic Domain Theory to Prove Operational Properties of a Polymorphic Programming Language Based on Strictness'. Together they form a unique fingerprint.

Mathematics