650 search results - page 9 / 130 » Logical Bisimulations and Functional Languages |
TACS
1994
Springer
13 years 10 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
PPDP
1999
Springer
13 years 11 months ago
1999
Springer
IFIP
1994
Springer
13 years 10 months ago
1994
Springer
ICFP
2012
ACM
11 years 9 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...
PLPV
2010
ACM
14 years 3 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...