activity
20182022
most citedMonotone recursive types and recursive data representations in Cedille

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

collaborators
Showing 2018Show all

2 papers · 1 filter

cs.LO2018★ 1 cited

Course-of-Value Induction in Cedille

Denis Firsov, Larry Diehl, Christopher Jenkins +1

In the categorical setting, histomorphisms model a course-of-value recursion scheme that allows functions to be defined using arbitrary previously computed values. In this paper, w…

cs.PL2018

Spine-local Type Inference

Christopher Jenkins, Aaron Stump

We present spine-local type inference, a partial type inference system for inferring omitted type annotations for System F terms based on local type inference. Local type inference…