1982 search results - page 55 / 397 » Parametricity and dependent types |
LFP
1994
14 years 11 months ago
1994
We present the rst system for estimating and using datadependent expression execution times in a language with rst-class procedures and imperative constructs. The presence of rst-...
AAECC
2007
Springer
14 years 10 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
ALIFE
2004
14 years 9 months ago
2004
We study the emergence and dynamics of competing strains of digital organisms in a world with two depletable resources. Consumption of one resource produces the other resource as a...
TCS
1998
14 years 9 months ago
1998
Incomplete relations are relations which contain null values, whose meaning is \value is at present unknown". Such relations give rise to two types of functional dependency (...
COLING
2010
14 years 4 months ago
2010
We compare the performance of three statistical parsing architectures on the problem of deriving typed dependency structures for French. The architectures are based on PCFGs with ...