Pages that link to "Item:Q4401557"
From MaRDI portal
The following pages link to The treatment of data types in EL1 (Q4401557):
Displaying 5 items.
- A partial evaluator, and its use as a programming tool (Q1233314) (← links)
- A theory of type polymorphism in programming (Q1250704) (← links)
- Data schemata based on directed graphs (Q3853110) (← links)
- PROTECTION AS A GENERAL SYSTEMS PROBLEM (Q4090182) (← links)
- Syntax extension using a run time model (Q4772152) (← links)