Peng Fu

activity

20152026

most citedA Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting

3 citations · 6 across the 11 of their papers we have counts for

collaborators

Showing 2017 · cs.LOShow all

2 papers · 2 filters

cs.LO2017

A Type Checking Algorithm for Higher-rank, Impredicative and Second-order Types

Peng Fu

We study a type checking algorithm that is able to type check a nontrivial subclass of functional programs that use features such as higher-rank, impredicative and second-order typ…

cs.LO2017

Representing Nonterminating Rewriting with $F_{2}^{μ}$

Peng Fu

We specify a second-order type system $F_{2}^{μ}$ that is tailored for representing nonterminations. The nonterminating trace of a term $t$ in a rewrite system $R$ c…

A Type Checking Algorithm for Higher-rank, Impredicative and Second-order Types

Representing Nonterminating Rewriting with F2μ​

Representing Nonterminating Rewriting with $F_{2}^{μ}$