14.4.10
RADICAL 2010
RADICAL 2010, International Workshop on Relations and Data Integrity Constraints and Languages. May 10-11, 2010, Microsoft Research, Cambridge, UK.
RADICAL is a workshop on databases and programming languages, with an emphasis on connections between databases and recent advances in type systems and logics, especially dependent type systems incorporating data constraints.
Organising committee:
* Andrew D. Gordon (convenor), Microsoft Research
* David Langworthy, Microsoft Corporation
* Philip Wadler, University of Edinburgh
Check out the web page, and drop us a line if you'd like to attend.
RADICAL is a workshop on databases and programming languages, with an emphasis on connections between databases and recent advances in type systems and logics, especially dependent type systems incorporating data constraints.
Organising committee:
* Andrew D. Gordon (convenor), Microsoft Research
* David Langworthy, Microsoft Corporation
* Philip Wadler, University of Edinburgh
Check out the web page, and drop us a line if you'd like to attend.
