Trends in Functional Programming
20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers
Page
%P
-
Chapter and Conference Paper
A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations
SMT-based program analysis and verification often involve reasoning about program features that have been specified using quantifiers; incorporating quantifiers into SMT-based reasoning is, however, known to b...
-
Article
Open AccessMyxobakterielle Naturstofffabriken
Myxococcus xanthus is a prime example of soil-living myxobacteria featuring a complex lifestyle, including coordinated movement through swarming, predatory feeding on other microorganisms, and the formation of mu...
-
Book and Conference Proceedings
-
Article
Open AccessCorrelating chemical diversity with taxonomic distance for discovery of natural products in myxobacteria
Some bacterial clades are important sources of novel bioactive natural products. Estimating the magnitude of chemical diversity available from such a resource is complicated by issues including cultivability, ...
-
Chapter and Conference Paper
Monotonic References for Efficient Gradual Ty**
Gradual ty** enables both static and dynamic ty** in the same program and makes it convenient to migrate code regions between the two ty** disciplines. One goal of gradual ty** is to provide all the be...
-
Article
Angiolactone, a new Butyrolactone isolated from the terrestrial myxobacterium, Angiococcus sp.
-
Reference Work Entry In depth
The Family Haliangiaceae
Haliangiaceae represent a unique myxobacterial taxon occupying a novel and distinct phylogenetic cluster in the suborder Nannocystineae with Kofleriaceae emerging as their most closely related family. To date, th...
-
Reference Work Entry In depth
The Family Phaselicystidaceae
Phaselicystidaceae belong to the suborder Sorangiineae in the order Myxococcales and are comprised of the monotypic genus Phaselicystis and the monotypic species P. flava. So far, all strains in this family have ...
-
Reference Work Entry In depth
The Family Polyangiaceae
Polyangiaceae belong to the suborder Sorangiineae in the order Myxococcales and comprise the genera Polyangium, Sorangium, Byssovorax, Chondromyces, and Jahnella. Members of the Polyangiaceae family are commonly ...
-
Reference Work Entry In depth
The Family Myxococcaceae
Myxococcaceae belong to the suborder Cystobacterineae in order Myxococcales and comprise three genera validly described as Myxococcus, Corallococcus, and Pyxidicoccus. Members of this family are widely distribute...
-
Reference Work Entry In depth
The Family Nannocystaceae
Nannocystaceae belong to the suborder Nannocystineae in order Myxococcales and comprise two marine-derived genera Plesiocystis and Enhygromyxa, an estuarine Pseudenhygromyxa, and a terrestrial genus Nannocystis. ...
-
Chapter and Conference Paper
Gradual Typestate
Typestate reflects how the legal operations on imperative objects can change at runtime as their internal state changes. A typestate checker can statically ensure, for instance, that an object method is only c...
-
Article
Mexican Immigrants in the US Living Far from the Border may Return to Mexico for Health Services
Background This study explores to what extent and why Mexican immigrants in the U.S. living far from the border return to Mexico for medical services. Methods Structured Spanish-language qualitative interviews we...
-
Chapter and Conference Paper
Exploring the Design Space of Higher-Order Casts
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of the gradually typed lambda calc...
