Cited By
View all- Delaware BSuriyakarn SPit-Claudel CYe QChlipala A(2019)Narcissus: correct-by-construction derivation of decoders and encoders from binary formatsProceedings of the ACM on Programming Languages10.1145/33416863:ICFP(1-29)Online publication date: 26-Jul-2019
- Takeda KKobayashi NYaguchi KShinohara A(2016)Compact bit encoding schemes for simply-typed lambda-termsACM SIGPLAN Notices10.1145/3022670.295191851:9(146-157)Online publication date: 4-Sep-2016
- Takeda KKobayashi NYaguchi KShinohara AGarrigue JKeller GSumii E(2016)Compact bit encoding schemes for simply-typed lambda-termsProceedings of the 21st ACM SIGPLAN International Conference on Functional Programming10.1145/2951913.2951918(146-157)Online publication date: 4-Sep-2016
- Show More Cited By