Nicholas Wolverson

According to our database, Nicholas Wolverson authored at least 4 papers between 2003 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2009

Game semantics for an object-oriented language.

Nicholas Wolverson

PhD thesis, 2009

2005

Extending resource-bounded functional programming languages with mutable state and concurrency.

Stephen Gilmore, Kenneth MacKenzie, Nicholas Wolverson

Scalable Comput. Pract. Exp., 2005

2003

O'Camelot: adding objects to a resource-aware functional language.

Nicholas Wolverson, Kenneth MacKenzie

Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003

Camelot and Grail: resource-aware functional programming for the JVM.

Kenneth MacKenzie, Nicholas Wolverson

Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003