Pages that link to "Item:Q4401557"

The following pages link to The treatment of data types in EL1 (Q4401557):

Displaying 2 items.

• A partial evaluator, and its use as a programming tool (Q1233314) (← links)
• A theory of type polymorphism in programming (Q1250704) (← links)