TO
Filters: Department: "Kahlert School of Computing" Collection: "ir_uspace" Subject: "Logic language"
1 - 25 of 1
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 | Lindstrom, Gary E. | Our LIPS are sealed: interfacing logic and functional programming systems | We report on a technique for interfacing an untyped logic language to a statically poly morphically typed functional language Our key insight is that polymorphic types can be interpreted as "need to know" specifications on function arguments. This leads to a criterion for liberally yet safely invoki... | LIPS; Logic language; Functional language | 1992 |
1 - 25 of 1