Lambda the Ultimate
- Alloy: A Simple Structural Modeling Language Based on First-Order Logic http://sdg.csail.mit.edu/ 4 comments DSL , Software Engineering
Linking pages
- Espalier | Software Design Group http://sdg.csail.mit.edu/projects/objsheets/ 49 comments
- Espalier | Software Design Group http://sdg.csail.mit.edu/projects/espalier 1 comment
- https://alloytools.org/about.html 0 comments
- You don’t have to be a founder | MIT Admissions https://mitadmissions.org/blogs/entry/you-dont-have-to-be-a-founder/ 0 comments
Linked pages
Related searches:
Search whole site: site:sdg.csail.mit.edu
Search title: Home | Software Design Group
See how to search.