Events Tagged: "total functions"

1 events with tag "total functions"

2004 ID: 4548
Turner proposes Total Functional Programming - Turing incompleteness as feature for guaranteed termination
ID: 4548