Author:
Lindahl Tobias,Sagonas Konstantinos
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Ill-Typed Programs Don’t Evaluate;Proceedings of the ACM on Programming Languages;2024-01-05
2. ElixirST: A session-based type system for Elixir modules;Journal of Logical and Algebraic Methods in Programming;2023-10
3. Special Delivery: Programming with Mailbox Types;Proceedings of the ACM on Programming Languages;2023-08-30
4. Static type checking without downcast operator;Information Processing Letters;2022-11
5. Executable contracts for Elixir;Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang;2022-09-06