Runtime type safety for erlang/otp behaviours-Reference-Cited by-同舟云学术

Runtime type safety for erlang/otp behaviours

Published:2019 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang - Erlang 2019
language:
Short-container-title:

Author:

Harrison Joseph¹

Affiliation:

1. University of Kent, UK

Publisher

ACM Press

Reference23 articles.

1. Thomas Arts, John Hughes, Joakim Johansson, and Ulf T. Wiger. 2006. Testing telecoms software with QuviQ QuickCheck. In Erlang Workshop. ACM, 2–10.

2. Duncan Paul Attard and Adrian Francalanza. 2016. A Monitoring Tool for a Branching-Time Logic. In RV (Lecture Notes in Computer Science), Vol. 10012. Springer, 473–481.

3. Richard Carlsson. 2001. An introduction to Core Erlang. In PLI01 Erlang Workshop.

4. Richard Carlsson. 2009. cerl.erl, Erlang/OTP compiler application. https://github.com/erlang/otp/blob/41672f4/lib/compiler/src/cerl.erl

5. Ian Cassar, Adrian Francalanza, Luca Aceto, and Anna Ingólfsdóttir. 2017. eAOP: an aspect oriented programming framework for Erlang. In Erlang Workshop. ACM, 20–30.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. ElixirST: A session-based type system for Elixir modules;Journal of Logical and Algebraic Methods in Programming;2023-10

2. Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules;Electronic Proceedings in Theoretical Computer Science;2022-08-09

3. Session types in Elixir;Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control;2021-10-17