Author: "van Bakel, Steffen" / Publisher: acm - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"van Bakel, Steffen"' showing total 3 results

Start Over Author "van Bakel, Steffen" Publisher acm

3 results on '"van Bakel, Steffen"'

1. A Calculus of Delayed Reductions

Author: Van Bakel, Steffen, primary, Wu, Nicolas, additional, and Tye, Emma, additional
Published: 2023
Full Text: View/download PDF

2. Exception Handling and Classical Logic

Author: van Bakel, Steffen, primary
Published: 2019
Full Text: View/download PDF

3. Semantic predicate types and approximation for class-based object oriented programming

Author: van Bakel, Steffen, primary and Rowe, Reuben N. S., additional
Published: 2009
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results