Typed Datalog

David Zook, Emir Pasalic, Beata Sarna-Starosta. Typed Datalog. In Andy Gill, Terrance Swift, editors, Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings. Volume 5418 of Lecture Notes in Computer Science, pages 168-182, Springer, 2009. [doi]

Authors

David Zook

This author has not been identified. Look up 'David Zook' in Google

Emir Pasalic

This author has not been identified. Look up 'Emir Pasalic' in Google

Beata Sarna-Starosta

This author has not been identified. Look up 'Beata Sarna-Starosta' in Google