Peng Fu

most citedA Type-Theoretic Approach to Structural Resolution

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

collaborators

3 papers

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…

cs.LO2015★ 2 cited

A Type-Theoretic Approach to Structural Resolution

Peng Fu, Ekaterina Komendantskaya

Structural resolution (or S-resolution) is a newly proposed alternative to SLD-resolution that allows a systematic separation of derivations into term-matching and unification step…

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

Representing Nonterminating Rewriting with F2μ​

A Type-Theoretic Approach to Structural Resolution

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