19798 search results - page 8 / 3960 » Is Structural Subtyping Useful |
67
Voted
JOT
2008
15 years 18 days ago
2008
115
click to vote
TLCA
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
109
Voted
BMCBI
2010
15 years 23 days ago
2010
Background: With the rapid development of new genetic measurement methods, several types of genetic alterations can be quantified in a high-throughput manner. While the initial fo...
76
Voted
ENTCS
2008
15 years 21 days ago
2008
This paper describes experiences from implementing key parts of a compiler for Modelica, an object-oriented language supporting declarative modeling and simulation of complex phys...
110
Voted
IFL
2007
Springer
15 years 6 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...