chrisposkitt.com
Bidirectionality and How to Fake It | Chris Poskitt
http://chrisposkitt.com/2014/10/13/bidirectionality-and-how-to-fake-it
Research Fellow in Computer Science @ SUTD, Singapore. Bidirectionality and How to Fake It. Bidirectionality and How to Fake It. The general problem of maintaining consistency between two related sources of information is recurrent across computer science, surfacing in communities as diverse as database management (e.g. the construction of. And the last decade has seen several cross-discipline initiatives to study the common challenges and underpinnings; most notably the GRACE-BX meeting. But often it is...
chrisposkitt.com
proofs | Chris Poskitt
http://chrisposkitt.com/tag/proofs
Research Fellow in Computer Science @ SUTD, Singapore. Bidirectionality and How to Fake It. The general problem of maintaining consistency between two related sources of information is recurrent across computer science, surfacing in communities as diverse as database management (e.g. the construction of. And the last decade has seen several cross-discipline initiatives to study the common challenges and underpinnings; most notably the GRACE-BX meeting. In 2008 and the BX wiki and workshop series. BX supp...
chrisposkitt.com
graph programs | Chris Poskitt
http://chrisposkitt.com/tag/graph-programs
Research Fellow in Computer Science @ SUTD, Singapore. Bidirectionality and How to Fake It. The general problem of maintaining consistency between two related sources of information is recurrent across computer science, surfacing in communities as diverse as database management (e.g. the construction of. And the last decade has seen several cross-discipline initiatives to study the common challenges and underpinnings; most notably the GRACE-BX meeting. In 2008 and the BX wiki and workshop series. BX supp...
SOCIAL ENGAGEMENT