Events Tagged: "Turner"
Home
Browse Events
People
Places
Books
Search
Timeline
Go →
1 events with tag "Turner"
2004
ID: 4548
Turner proposes Total Functional Programming - Turing incompleteness as feature for guaranteed termination
ID: 4548
programming
total functions
Turner
termination
verification