共 50 条
- [4] Lazy functional meta-CASE programming [J]. METHOD ENGINEERING: PRINCIPLES OF METHOD CONSTRUCTION AND TOOL SUPPORT, 1996, : 142 - 164
- [5] Purely Functional Lazy Non-deterministic Programming [J]. ICFP'09: PROCEEDINGS OF THE 2009 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2009, : 11 - 22
- [10] Fair constraint merging tableaux in lazy functional programming style [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2003, 2796 : 252 - 256