共 43 条
- [1] [Anonymous], 1987, The Implementation of Functional Programming Languages
- [2] [Anonymous], 2018, PLANCOMPS PROJ CBS F
- [4] Maude MSOS Tool [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 176 (04) : 133 - 146
- [5] Reusable Components of Semantic Specifications [J]. TRANSACTIONS ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT XII, 2015, 8989 : 132 - 179
- [6] Churchill M, 2013, LECT NOTES COMPUT SC, V7794, P97, DOI 10.1007/978-3-642-37075-5_7
- [8] Danvy O., 1989, 8912 DIKU U COP
- [9] Day Laurence E., 2012, Trends in Functional Programming. 12th International Symposium, TFP 2011. Revised Selected Papers, P49, DOI 10.1007/978-3-642-32037-8_4
- [10] Degueule Thomas., 2015, SLE 2015 P 2015 ACM, P25, DOI DOI 10.1145/2814251.2814252