search

hazelgrove / hazelnut-popl17

Submission to POPL 2017
2 stars 1 forks source link

mention extension in the abstract #45

Closed ivoysey closed 8 years ago

ivoysey commented 8 years ago 
"guides the definition of an extension to the calculus" say which
extension: sums.