Fi+ Mar 6, 2019 Code Coq formalization and implementation of the Fi+ calculus haskell coq type-system Xuan Bi Quantitative Developer Quantitative developer at Standard Chartered (Hong Kong) Publications Distributive Disjoint Polymorphism for Compositional Programming Popular programming techniques such as shallow embeddings of Domain Specific Languages (DSLs), finally tagless or object algebras are … Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers PDF Cite Project
