J.M. Almendros-Jim'enez and A. Gil-Luezas Dpto. Inform'atica y Autom'atica....  Home/Search
Context
Related
| ualm.es/~jalmen/unif96.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ualm.es/~jalmen/research (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction Type systems have been traditionally considered in functional languages and incorporated as an extension to logic programming. The usefulness of type systems has been widely accepted to detect programming errors and to obtain more readable programs and run-time optimizations. Polymorphic order-sorted type systems include both parametric and inclusion polymorphism providing more powerful expressivity. Parametric polymorphism parametrizes types by means of type variables which... (Update)
Similar documents (at the sentence level):
7.7%: Algebraic Semantics for Functional Logic.. -.. (1996) (Correct)
6.4%: Type inference and checking for POS-typed functional logic .. - Almendros-Jiménez (1996) (Correct)
Active bibliography (related documents): More All
0.9: Lazy Narrowing with Parametric Order Sorted Types - Almendros-Jiménez.. (Correct)
0.6: Improving Computations in a Typed Functional Logic Language - Jes'us Manuel.. (Correct)
0.5: Lazy Type Checking in Functional Logic Programming - Almendros-Jiménez (Correct)
Similar documents based on text: More All
0.2: A Rewriting Logic for Declarative Programming - González-Moreno.. (1996) (Correct)
0.2: A Little User Manual for BabLog System - Araujo-Serna.. (1997) (Correct)
0.2: DTD-Driven Bilingual Document Generation - Casillas, Abaitua, Martínez (2000) (Correct)
BibTeX entry: (Update)
@misc{ almendros-jim'enez-ishtar,
author = "Almendros-Jim'enez And Gil-Luezas",
title = "ISHTAR: A Functional Logic Language with Polymorphic Order-Sorted Types",
url = "citeseer.ist.psu.edu/320661.html" }
Citations (may not include all citations):121 Logic Programming with Functions and Predicates: The Languag.. (context) - Moreno-Navarro, Rodr'iguez-Artalejo - 1992
61 Logic Programming over Polymorphically Order-Sorted Types - Smolka - 1989
36 Principal Type Schemes for Functional Programs with Overload.. - Smith - 1994
30 Theoretical Computer Science (context) - Fuh, Mishra et al. - 1990
17 Type Inferencing for Polymorphic Order-Sorted Logic Programs - Beierle - 1995
14 Ten Years of Logic Programming (context) - Hanus, of et al. - 1994
14 Combining Lazy Narrowing with Disequality Constraints (context) - Arenas-S'anchez, Gil-Luezas et al. - 1994
12 A Functional and Logic Language with Polymorphic Types (context) - Hanus - 1990
12 Parametric Order-Sorted Types in Logic Programming (context) - Hanus - 1991
7 A Semantics for Typed Logic Programming (context) - Hill, Topor - 1992
7 A Rewriting Logic for Declarative Programming - Gonz'alez-Moreno, Hortal'a-Gonz'alez et al. - 1996
4 Lazy Narrowing with Polymorphic Order-Sorted Types (context) - Almendros-Jim'enez, Gil-Luezas - 1996
Documents on the same site (http://www.ualm.es/~jalmen/research.html): More
Lazy Type Checking in Functional Logic Programming - Almendros-Jiménez (Correct)
Improving Computations in a Typed Functional Logic Language - Jes'us Manuel.. (Correct)
Type inference and checking for POS-typed functional logic .. - Almendros-Jiménez (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC