Philip Weaver

Learn More
BACKGROUND Environmental impacts of human activities on the deep seafloor are of increasing concern. While activities within waters shallower than 200 m have been the focus of previous assessments of anthropogenic impacts, no study has quantified the extent of individual activities or determined the relative severity of each type of impact in the deep sea.(More)
Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is that families of language constructs can be independently specified and later combined in a mix-and-match fashion to create a complete language semantics. This has proved useful for(More)
Modular monadic semantics (MMS) is a well-known technique for structuring modular denotational semantic definitions. Families of language constructs are independently defined using syntactic functors and semantic algebras that can be combined in a mix-and-match fashion to create complete language definitions. We introduce InterpreterLib, a Haskell library(More)
  • 1