ElixirST: A session-based type system for Elixir modules.

Adrian Francalanza Gerard Tabone

Published in: J. Log. Algebraic Methods Program. (2023)

Keyphrases

case study
artificial neural networks
building blocks
computer vision
metadata
clustering algorithm
three dimensional
video sequences
cooperative
computational complexity
evolutionary algorithm
type checking
modular structure