Edwin M. Westbrook

According to our database1, Edwin M. Westbrook authored at least 10 papers between 2000 and 2013.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
A Semantics for Approximate Program Transformations
CoRR, 2013

2012
Practical Permissions for Race-Free Parallelism.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011
Permission Regions for Race-Free Parallelism.
Proceedings of the Runtime Verification - Second International Conference, 2011

Hobbits for Haskell: a library for higher-order encodings in functional programming languages.
Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

2010
Mint: Java multi-stage programming using weak separability.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Mathematical equations as executable models of mechanical systems.
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

2009
The calculus of nominal inductive constructions: an intensional approach to encoding name-bindings.
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2009

2006
Slothrop: Knuth-Bendix Completion with a Modern Termination Checker.
Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006

2005
A language-based approach to functionally correct imperative programming.
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2000
Using computational grid capabilities to enhance the capability of an X-ray source for structural biology.
Clust. Comput., 2000


  Loading...