alternative semantics with dynamic weight handling - Githubissues

tweag / linear-types

Drafts, notes and resources for adding linear typing to GHC.

75 stars 5 forks source link

alternative semantics with dynamic weight handling #1

Closed jyp closed 8 years ago

jyp commented 8 years ago

translation simpler
propagate weights in reduction relation
formal term syntax has a weight on the application