Pages that link to "Item:Q1125574"
From MaRDI portal
The following pages link to CPS translations and applications: The cube and beyond (Q1125574):
Displaying 9 items.
- The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types (Q690505) (← links)
- CPS-translation as adjoint (Q1044830) (← links)
- A Classical Sequent Calculus with Dependent Types (Q2988668) (← links)
- (Q4222932) (← links)
- ANF preserves dependent types up to extensional equality (Q5051989) (← links)
- A typed store-passing translation for general references (Q5408539) (← links)
- On one-pass CPS transformations (Q5428374) (← links)
- Weak normalization implies strong normalization in a class of non-dependent pure type systems (Q5958619) (← links)
- An induction principle for pure type systems (Q5958776) (← links)