7681 search results - page 109 / 1537 » Typed Membrane Systems |
154
Voted
FOSSACS
2003
Springer
15 years 10 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...
172
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
144
click to vote
HT
1998
ACM
15 years 9 months ago
1998
ACM
The presentation layer of hypermedia systems could benefit from standard object querying functionality and this is most effective if strong typing is enforced. By strong typing we...
153
click to vote
JFP
2008
15 years 4 months ago
2008
The HM(X) system is a generalization of the Hindley/Milner system parameterized in the constraint domain X. Type inference is performed by generating constraints out of the progra...
154
click to vote
SFP
2000
15 years 6 months ago
2000
: We describe an algorithm approximatingthe following question: Given two types t1 and t2, are there instances (t1) and (t2) denoting a common element? By answering this question w...