| The integration of functions into logic programming: From theory to practice M Hanus The Journal of Logic Programming 19, 583-628, 1994 | 732 | 1994 |
| A needed narrowing strategy S Antoy, R Echahed, M Hanus Journal of the ACM (JACM) 47 (4), 776-822, 2000 | 525 | 2000 |
| A unified computation model for functional and logic programming M Hanus Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 259 | 1997 |
| Curry An Integrated Functional Logic Languages M Hanus http://www. informatik. uni-kiel. de/~ curry/, 2000 | 228 | 2000 |
| Functional logic programming S Antoy, M Hanus Communications of the ACM 53 (4), 74-85, 2010 | 169 | 2010 |
| Curry: An integrated functional logic language (vers. 0.8. 2) M Hanus | 158 | 2006 |
| Curry: A truly functional logic language M Hanus, H Kuchen, JJ Moreno-Navarro Proc. ILPS 95 (5), 95-107, 1995 | 156 | 1995 |
| Multi-paradigm declarative languages M Hanus International Conference on Logic Programming, 45-75, 2007 | 154 | 2007 |
| Xbase: implementing domain-specific languages for Java S Efftinge, M Eysholdt, J Köhnlein, S Zarnekow, R von Massow, ... ACM SIGPLAN Notices 48 (3), 112-121, 2012 | 148 | 2012 |
| Operational semantics for declarative multi-paradigm languages E Albert, M Hanus, F Huch, J Oliver, G Vidal Journal of Symbolic Computation 40 (1), 795-829, 2005 | 141 | 2005 |
| Compiling logic programs with equality M Hanus International Workshop on Programming Language Implementation and Logic …, 1990 | 112 | 1990 |
| Overlapping rules and logic variables in functional logic programs S Antoy, M Hanus International Conference on Logic Programming, 87-101, 2006 | 109 | 2006 |
| Higher-order narrowing with definitional trees M Hanus, C Prehofer Journal of Functional Programming 9 (1), 33-75, 1999 | 102 | 1999 |
| High-level server side web scripting in Curry M Hanus International Symposium on Practical Aspects of Declarative Languages, 76-92, 2001 | 99 | 2001 |
| Compiling multi-paradigm declarative programs into Prolog S Antoy, M Hanus International Workshop on Frontiers of Combining Systems, 171-185, 2000 | 95 | 2000 |
| Functional logic programming: From theory to Curry M Hanus Programming Logics: Essays in Memory of Harald Ganzinger, 123-168, 2013 | 94 | 2013 |
| Pakcs: The portland aachen kiel curry system M Hanus, S Antoy, B Braßel, M Engelke, K Höppner, J Koj, P Niederau, ... | 94 | 2003 |
| Curry: An integrated functional logic language (version 0.8. 2) M Hanus, S Antoy, H Kuchen, F López-Fraguas, W Lux, JM Navarro, ... | 92 | 2006 |
| KiCS2: A new compiler from Curry to Haskell B Braßel, M Hanus, B Peemöller, F Reck Functional and Constraint Logic Programming: 20th International Workshop …, 2011 | 90 | 2011 |
| Functional logic design patterns S Antoy, M Hanus International Symposium on Functional and Logic Programming, 67-87, 2002 | 83 | 2002 |
Sergio AntoyEx-Prof at Portland State University在 pdx.edu 的电子邮件经过验证
