Search results for "Caml"
showing 2 items of 2 documents
MLOG: a strongly typed confluent functional language with logical variables
1994
Poirriez, V., MLOG: a strongly typed confluent functional language with logical variables, Theoretical Computer Science 122 (1994) 201-223. A new programming language called MLOG is introduced. MLOG is a conservative extension of ML with logical variables. To validate our concepts, a compiler named CAML Light FLU0 was implemented. Numerous examples are presented to illustrate the possibilities of MLOG. The pattern matching of ML is kept for X-calculus bindings and an unification primitive is introduced for the logical variables bindings. A suspension mechanism allows cohabitation of pattern-matching and logical variables, Although the evaluation strategy for the application is fixed, the or…
Physical oceanography, sea-bed photographs and videos of benthos from the Weddell Sea taken with remote operated vehicle CHEROKEE during POLARSTERN c…
2010
The marine ecosystem on the eastern shelf of the Antarctic Peninsula was surveyed 5 and 12 years after the climate-induced collapse of the Larsen A and B ice shelves. An impoverished benthic fauna was discovered, that included deep-sea species presumed to be remnants from ice-covered conditions. The current structure of various ecosystem components appears to result from extremely different response rates to the change from an oligotrophic sub-ice-shelf ecosystem to a productive shelf ecosystem. Meiobenthic communities remained impoverished only inside the embayments. On local scales, macro- and mega-epibenthic diversity was generally low, with pioneer species and typical Antarctic megabent…