Linear or Affine Types? : ProgrammingLanguages

Resource | v1 | created by jjones |
Type Forum
Created 2017-08-10
Identifier unavailable


Statically managed memory using linear types in a functional language: yay or nay?


about Substructural type system

Substructural type systems are a family of type systems analogous to substructural logics where one o...

published by Reddit

Reddit (stylized in all lowercase) is a social news aggregation, web content rating, and discussion w...

Edit details Edit relations Attach new author Attach new topic Attach new resource
0.0 /10
useless alright awesome
from 0 reviews
Write comment Rate resource Tip: Rating is anonymous unless you also write a comment.
Resource level 0.0 /10
beginner intermediate advanced
Resource clarity 0.0 /10
hardly clear sometimes unclear perfectly clear
Reviewer's background 0.0 /10
none basics intermediate advanced expert
Comments 0
Currently, there aren't any comments.