Author:
Biagioni Edoardo,Harper Robert,Lee Peter,Milnes Brian G.
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dependently-typed data plane programming;Proceedings of the ACM on Programming Languages;2022-01-12
2. Logical Relations as Types: Proof-Relevant Parametricity for Program Modules;Journal of the ACM;2021-12-31
3. The history of Standard ML;Proceedings of the ACM on Programming Languages;2020-06-12
4. ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter;Electronic Notes in Theoretical Computer Science;2006-03
5. TIL;ACM SIGPLAN Notices;2004-04