UTFPR IFP — FuSes in Session Types

Escolha seu idioma / Choose your language:

🇧🇷 Português (Brasil) → README pt-BR
🇺🇸 English (US) → README en-US
🇧🇷 Ambos os arquivos contêm o guia completo de execução, conceitos, demonstrações e referências do projeto. Atualize o idioma desejado para manter a documentação sincronizada.
🇺🇸 Both files contain the complete project execution guide, concepts, demonstrations, and references. Update to your desired language to keep the documentation synchronized.

Delivery

Search for "Fusing Session-Typed Concurrent Programming into Functional Programming"

Or go straight to the paper submission page: https://dl.acm.org/doi/10.1145/3747519

This project is a part of the Master's program at UTFPR (Universidade Tecnológica Federal do Paraná) and classes at Introduction to Functional Programming (IFP) with Adolpho Neto Teacher. Based on https://github.com/adolfont/caes005-introduction-to-functional-programming

Note

This project was created by Felipe Augusto and improved and revised with the help of GitHub Copilot.

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
docs		docs
lib		lib
test		test
.formatter.exs		.formatter.exs
.gitignore		.gitignore
README.md		README.md
examples-violations.exs		examples-violations.exs
examples.exs		examples.exs
main.exs		main.exs
mix.exs		mix.exs