4 ms·
If I could make a request, I'd love to see resource like this for Linear type systems. I tried reading Henry Baker's Linear Lisp papers, but they were way beyon
by HexDecOctBin 1y ago
If I could make a request, I'd love to see resource like this for Linear type systems. I tried reading Henry Baker's Linear Lisp papers, but they were way beyond my skill level.
- thesz 1y agoLinear(-like) type systems differ from usual functional type systems by their ability to remove bindings from environment.