Author:
Burstall R. M.,MacQueen D. B.,Sannella D. T.
Cited by
132 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types;Proceedings of the ACM on Programming Languages;2023-08-30
2. Program State Visualizer with User-Defined Representation Conversion (WIP);Proceedings of the 1st ACM International Workshop on Future Debugging Techniques;2023-07-17
3. Parameterized Algebraic Protocols;Proceedings of the ACM on Programming Languages;2023-06-06
4. Live Pattern Matching with Typed Holes;Proceedings of the ACM on Programming Languages;2023-04-06
5. Folding left and right matters: Direct style, accumulators, and continuations;Journal of Functional Programming;2023