New Results on Type Systems for Functional Logic Programming-Reference-Cited by-同舟云学术

New Results on Type Systems for Functional Logic Programming

Published:2010 Issue: Volume: Page:128-144
ISSN:0302-9743
Container-title:Functional and Constraint Logic Programming
language:
Short-container-title:

Author:

López-Fraguas Francisco J.,Martin-Martin Enrique,Rodríguez-Hortalá Juan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-11999-6_9.pdf

Reference20 articles.

1. Lecture Notes in Computer Science;S. Antoy,1999

2. Brassel, B.: Two to three ways to write an unsafe type cast without importing unsafe - Post to the Curry mailing list (May 2008), http://www.informatik.uni-kiel.de/~curry/listarchive/0705.html

3. Damas, L.: Type Assignment in Programming Languages. PhD thesis, University of Edinburgh (April 1985)

4. Damas, L., Milner, R.: Principal type-schemes for functional programs. In: Proc. Symposium on Principles of Programming Languages (POPL 1982), pp. 207–212 (1982)

5. González-Moreno, J., Hortalá-González, T., Rodríguez-Artalejo, M.: A higher order rewriting logic for functional logic programming. In: Proc. International Conference on Logic Programming (ICLP 1997), pp. 153–167. MIT Press, Cambridge (1997)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A liberal type system for functional logic programs;Mathematical Structures in Computer Science;2014-11-10

2. Safe typing of functional logic programs with opaque patterns and local bindings;Information and Computation;2014-04

3. Rewriting and narrowing for constructor systems with call-time choice semantics;Theory and Practice of Logic Programming;2012-10-30

4. Liberal Typing for Functional Logic Programs;Programming Languages and Systems;2010