Back to Results
First PageMeta Content
Proof theory / Deduction / Curry–Howard correspondence / Logic in computer science / Philosophy of computer science / Type theory / Entailment / Valuation / Branch point / Logic / Abstract algebra / Mathematics


Termination Casts: A Flexible Approach to Termination with General Recursion Vilhelm Sj¨oberg Computer and Information Science University of Pennsylvania
Add to Reading List

Document Date: 2014-07-10 05:47:25

Open Document

File Size: 208,24 KB

Share Result on Facebook

Company

contra S a / /

/

Facility

Aaron Stump Computer Science The University / /

IndustryTerm

type-and-effect systems / type checking algorithm / implicit products / /

Organization

The University of Iowa / University of Pennsylvania / ETA / /

Person

ASE S UC / Aaron Stump / Stephanie Weirich / ASE Z ERO / /

Position

General / judge / programmer / /

Product

T R / /

ProgrammingLanguage

EC / /

ProvinceOrState

Iowa / Pennsylvania / /

Technology

type checking algorithm / /

SocialTag