Panel I: Thoughtful Software Engineering

The distinguishing quality of SBTB is that authors step back from the problem at hand and think how it can be abstracted and composed from reusable abstractions.  Over the years the community evolved numerous approaches that went mainstream, such as type-level programming, reactive systems, and more.  What are the best software engineering practices worth adopting?  We'll invite some of the best positioned folks in the community to share their views and experiences.