Polymorphic Types in Erlang Function Specifications.

Francisco Javier López-Fraguas Manuel Montenegro Juan Rodríguez-Hortalá

Published in: FLOPS (2016)

Keyphrases

machine learning
real world
artificial intelligence
decision making
video sequences
specification language
operational semantics
delay insensitive