1626 search results - page 48 / 326 » Subtyping with Power Types |
97
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
110
Voted
BIRTHDAY
2009
Springer
15 years 9 months ago
2009
Springer
We propose a naive version of action semantics that begins with a selection of “transient” and “persistent” facets, each characterized as a partial monoid. Yielders are de...
118
click to vote
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
81
Voted
ACTA
1998
15 years 2 months ago
1998
We observe that every rst-order logic formula over the untyped version of some many-sorted vocabulary is equivalent to a union of manysorted formulas over that vocabulary. This re...
116
Voted
EVOW
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we introduce a novel objective function for the hierarchical clustering of data from distance matrices, a very relevant task in Bioinformatics. To test the robustnes...