Executable contracts for Elixir

Sergio Pérez 0001, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, Lars-Åke Fredlund. Executable contracts for Elixir. In Stavros Aronis, Burcu Kulahcioglu Ozkan, editors, Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, Ljubljana, Slovenia, 11 September 2022. pages 40-46, ACM, 2022. [doi]

Authors

Sergio Pérez 0001

This author has not been identified. Look up 'Sergio Pérez 0001' in Google

Luis Eduardo Bueso de Barrio

This author has not been identified. Look up 'Luis Eduardo Bueso de Barrio' in Google

Ignacio Ballesteros

This author has not been identified. Look up 'Ignacio Ballesteros' in Google

Ángel Herranz

This author has not been identified. Look up 'Ángel Herranz' in Google

Julio Mariño

This author has not been identified. Look up 'Julio Mariño' in Google

Clara Benac Earle

This author has not been identified. Look up 'Clara Benac Earle' in Google

Lars-Åke Fredlund

This author has not been identified. Look up 'Lars-Åke Fredlund' in Google