291 search results - page 39 / 59 » A Logic for Parametric Polymorphism |
128
Voted
LISP
2007
15 years 1 months ago
2007
In this paper we propose a new generic scheme CFLP(D ), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given co...
102
click to vote
FCT
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
103
click to vote
CTCS
1989
Springer
15 years 5 months ago
1989
Springer
We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors with left adjoints) in terms of fac...
158
Voted
ICFP
2012
ACM
13 years 4 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
101
click to vote
ATS
2005
IEEE
15 years 7 months ago
2005
IEEE
— Structural transformation of a design to enhance its testability while satisfying design constraints on power and performance, can result in improved test cost and test confid...