Peng Fu

activity

20152026

most citedA Type-Theoretic Approach to Structural Resolution

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

collaborators

Showing 2017Show all

2 papers · 1 filter

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}^{μ}$