steinwaywhw/6887psets
Problem Sets for MIT 6.887 Formal Reasoning About Programs
A demo repo for talks/posters about session type implementation in ATS and elixir.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Problem Sets for MIT 6.887 Formal Reasoning About Programs
Public repository.
Demo programs for NEPLS 15
For Huijun's Paper