Author:
Brassel B.,Hanus M.,Huch F.,Silva J.,Vidal G.
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Albert, E., Hanus, M., Huch, F., Oliver, J., Vidal, G.: Operational Semantics for Declarative Multi-Paradigm Languages. Journal of Symbolic Computation (2005)(To appear)
2. Lecture Notes in Computer Science;E. Albert,2002
3. Lecture Notes in Computer Science;S. Antoy,2000
4. Barendregt, H.P.: The Lambda Calculus—Its Syntax and Semantics. Elsevier, Amsterdam (1984)
5. Braßel, B., Hanus, M., Huch, F., Silva, J., Vidal, G.: Run-Time Profiling of Functional Logic Programs. Technical report, DSIC, Technical University of Valencia (2005), Available at: http://www.dsic.upv.es/users/elp/german/papers.html
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献