Author:
Abelson H.,Dybvig R.K.,Haynes C.T.,Rozas G.J.,Adams IV N.I.,Friedman D.P.,Kohlbecker E.,Steele Jr. G.L.,Bartley D.H.,Halstead R.,Oxley D.,Sussman G.J.,Brooks G.,Hanson C.,Pitman K.M.,Wand M.
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software
Cited by
105 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters;Proceedings of the ACM on Programming Languages;2023-08-30
2. Retrofitting effect handlers onto OCaml;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
3. Updating graph databases with Cypher;Proceedings of the VLDB Endowment;2019-08
4. An adaptive image feature matching method using mixed Vocabulary-KD tree;Multimedia Tools and Applications;2019-03-18
5. A general method for rendering static analyses for diverse concurrency models modular;Journal of Systems and Software;2019-01