The Design of Distributed Programming Languages (2008)
Peter Sewell, John Billings, Steve Bishop, Matthew Fairbairn, Pierre Habouzit, Michael Hicks, ...
High-level programming languages For non-distributed, non-concurrent programming, they’re pretty good. We have ML (SML/OCaml), Haskell, Java, C#, with: • type safety • rich concrete types –...
Racial and Ethnic Disparities in Health: A View from the South Bronx (2006)
Kaplan, Sue A., Calman, Neil S., Golub, Maxine., Davis, Joyce H., Ruddock, Charmaine., Billings, John.
Journal of Health Care for the Poor and Underserved - Volume 17, Number 1, February 2006
Diagonalisation proof of the undecidability of the Halting Problem (2006)
Here are some brief notes on the classic proof of the undecidability of the Halting Problem. The lecture notes don’t explictly cover the technique of diagonalisation, but it’s an important
Type-safe distributed programming for OCaml (2006)
John Billings, Peter Sewell, Mark Shinwell
Existing ML-like languages guarantee type-safety, ensuring memory safety and protecting the invariants of abstract types, but only within single executions of single programs. Distributed programming...
Type-safe distributed programming for OCaml (2006)
John Billings, Peter Sewell, Mark Shinwell
Existing ML-like languages guarantee type-safety, ensuring memory safety and protecting the invariants of abstract types, but only within single executions of single programs. Distributed programming...
Traducción de: The Ovulation Method
Planificación natural de la familia : método de la ovulación (1976)
Traducción de: The Ovulation Method