The following pages link to Manifest contracts for datatypes (Q2819804):
Displaying 5 items.
- Space-efficient manifest contracts (Q2819803) (← links)
- Foundations of dependent interoperability (Q4577812) (← links)
- An extended account of contract monitoring strategies as patterns of communication (Q4577815) (← links)
- Stateful manifest contracts (Q5370886) (← links)
- Manifest contracts with intersection types (Q6536305) (← links)