2 citations · 2 across the 4 of their papers we have counts for
4 papers · 1 filter
Dependently Typed Folds for Nested Data Types
Peng Fu, Peter Selinger
We present an approach to develop folds for nested data types using dependent types. We call such folds , they have the following properties. (1)…
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…
Representing Nonterminating Rewriting with
Peng Fu
We specify a second-order type system that is tailored for representing nonterminations. The nonterminating trace of a term in a rewrite system c…
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…