Bismuth

A session-typed programming language designed to make it easier to write safe distributed & concurrent programs.

Papers & Other Resources

PW Poster

MQP Report

CS Poster

Copy code
1
 
        
        
      
Bismuth Pre-Alpha v1.3.7
$