Abstract: Refinement types can be the vector that brings formal verification into mainstream software development. This happy outcome hinges upon the design and implementation of refinement type ...

The president last week erased the scientific finding that climate change endangers human health and the environment. What does that mean for you? By Natalie Proulx Students respond to a guest essay ...