FCore

Mar 6, 2016
Code

Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding

haskell type-system
Xuan Bi
Xuan Bi
Quantitative Developer

Quantitative developer at Standard Chartered (Hong Kong)

Publications

Memory-efficient Tail Calls in the JVM with Imperative Functional Objects

This paper presents FCore: a JVM implementation of System F with support for full tail-call elimination (TCE). Our compilation …
Tomas Tauber, Xuan Bi, Zhiyuan Shi, Weixin Zhang, Huang Li, Zhenrui Zhang, Bruno C. d. S. Oliveira
PDF Project