Cited By
View all- Bohrer R(2024)Programming Language Case Studies Can Be DeepElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.405.4405(56-79)Online publication date: 10-Jul-2024
- Nelson TGreenman BPrasad SDyer TBove EChen QCutting CDel Vecchio TLeVine SRudner JRyjikov BVarga AWagner AWest LKrishnamurthi S(2024)Forge: A Tool and Language for Teaching Formal MethodsProceedings of the ACM on Programming Languages10.1145/36498338:OOPSLA1(613-641)Online publication date: 29-Apr-2024
- Hayatpur DHempel BChen KDuan WGuo PXia H(2024)Taking ASCII Drawings Seriously: How Programmers Diagram CodeProceedings of the CHI Conference on Human Factors in Computing Systems10.1145/3613904.3642683(1-16)Online publication date: 11-May-2024
- Show More Cited By