![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > Computer Laboratory Programming Research Group Seminar > Type (re)construction from values
Type (re)construction from valuesAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Dominic Orchard. I plan to talk about how the underlying types can be reconstructed using a probabilistic model based on the values we find in a program or a database. Furthermore, in the case where no types existed beforehand, we can construct types based on the values we find. This is useful for databases, for example, in constructing a more normalised database given some partially filled in tables. It maps particularly well onto key-value pair stores. We also envisage it could be used in type reconstruction in scripting languages. The talk will look at the motivations for doing this, the probabilistic technique used, and talk about some of the further work planned. I hope it will not be too long, and there will be time to get people’s input on how this might be used, whether anything like this has been done before, and how it could be expanded to cover more complex type systems. This talk is part of the Computer Laboratory Programming Research Group Seminar series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsResearch Group of Centre of Governance and Human Rights Rausing Lecture zangwillOther talksHorizontal transfer of antimicrobial resistance drives multi-species population level epidemics A cabinet of natural history: the long-lost Paston collection The Exposome in Epidemiological Practice Psychology and Suicidal Behaviour From ‘Do Not Touch’ signs to barriers: can we successfully provide access without compromising preservation principles? Knot Floer homology and algebraic methods Katie Field - Symbiotic options for the conquest of land Computing High Resolution Health(care) Structural basis for human mitochondrial DNA replication, repair and antiviral drug toxicity The Partition of India and Migration Populism and Central Bank Independence |