109
click to vote
FOSSACS
15 years 6 months ago
2003 Springer 
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
FOSSACS
15 years 6 months ago
2003 Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
119
click to vote
FOSSACS
15 years 6 months ago
2003 Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
103
click to vote
FOSSACS
15 years 6 months ago
2003 Springer 
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...
FOSSACS
15 years 6 months ago
2003 Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
|
Software Engineering