Cited By
View all- Flatt MAllred TAngle NDe Gabrielle SFindler RFirth JGopinathan KGreenman BKasivajhula SKnauth AMcCarthy JPhillips SPorncharoenwase SSøgaard JTobin-Hochstadt S(2023)Rhombus: A New Spin on Macros without All the ParenthesesProceedings of the ACM on Programming Languages10.1145/36228187:OOPSLA2(574-603)Online publication date: 16-Oct-2023
- Sonoyama YNakajima T(2023)Investigation of Usefulness of "PMusic": A Live Coding Language Using Probability Music2023 IEEE 12th Global Conference on Consumer Electronics (GCCE)10.1109/GCCE59613.2023.10315462(457-458)Online publication date: 10-Oct-2023
- Astrauskas VBílý AFiala JGrannan ZMatheja CMüller PPoli FSummers A(2022)The Prusti Project: Formal Verification for RustNASA Formal Methods10.1007/978-3-031-06773-0_5(88-108)Online publication date: 24-May-2022
- Show More Cited By