Sökning: "Andrew Keith Moran"
Hittade 2 avhandlingar innehållade orden Andrew Keith Moran.
1. Call-by-name, Call-by-need, and McCarthy's Amb
Sammanfattning : This dissertation examines the behaviour of McCarthy's amb in both a call-by-name and call-by-need context. Instead of following the usual denotational approach, we choose to explore the operational alternative. The languages involved are higher-order, and contain algebraic datatypes. LÄS MER
2. Natural semantics for non-determinism
Sammanfattning : .... LÄS MER
Resultatsidor:
1