#

session-types

Here are 2 public repositories matching this topic...

steinwaywhw / ats-sessions

Session Types Library for ATS

ats session-types linear-logic

Updated Aug 31, 2018
HTML

gabrieldesh / concurrent-lambda-calculus

Uma aplicação web que implementa um interpretador para uma variação do cálculo-lambda com operações de concorrência e tipos de sessão.

lambda-calculus formal-semantics programming-languages concurrent-programming session-types linear-types type-systems

Updated Feb 17, 2022
HTML

Improve this page

Add a description, image, and links to the session-types topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the session-types topic, visit your repo's landing page and select "manage topics."