283
edits
Pipe-calculus: Difference between revisions
→Connection to other fields
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 43: | Line 43: | ||
[[Wikipedia:Formal_grammar|formal grammars]], | [[Wikipedia:Formal_grammar|formal grammars]], | ||
[[Wikipedia:Automata_theory|automata theory]], | [[Wikipedia:Automata_theory|automata theory]], | ||
type theory (up to the [[Wikipedia:Lambda_cube|lambda-cube]]) and algebraic effects | type theory (up to the [[Wikipedia:Lambda_cube|lambda-cube]]) and | ||
[[Wikipedia:Effect_system|algebraic effects]] | |||
<ref> | <ref> | ||
Matija Pretnar: [https://www.eff-lang.org/handlers-tutorial.pdf An Introduction to | Matija Pretnar: [https://www.eff-lang.org/handlers-tutorial.pdf An Introduction to Algebraic Effects and Handlers] | ||
Algebraic Effects and Handlers] | </ref>. | ||
</ref> | |||
. | |||
In certain cases the connection can be made more precise. | In certain cases the connection can be made more precise. | ||