On being a PhD student of Robert Harper | Journal of Functional Programming
On being a PhD student of Robert Harper - Volume 32
Source: cambridge.org
📰 Type Theory News
Type Theory News Today
Fast, Ad-Free News Updates
Stay updated with breaking news from Type Theory. Real-time updates on events, politics, business and more.
An Ideal Data-Model-First Development Approach
Data Model-driven application development requires writing lots of boilerplate code and is error prone and difficult to maintain. We are exploring the ways to have a better approach to it by using a more powerful Type System than current mainstream languages provide. Write your Pure Types once, get Persistence and UI layers.
Source: medium.com
William Byrd on Logic and Relational Programming, miniKanren
William Byrd explains the ideas behind logic programming languages (like Prolog) and relational programming. Also: miniKanren and core.logic, program synthesis, and much more.
Source: infoq.com
20 Software Engineering Podcasts to Follow
20 Software Engineering Podcasts to Follow See which one interests you the most. by Join the DZone community and get the full member experience.Join For Free At Apiumhub, we listen to hours of working software and software architecture podcasts each week covering architecture patterns, DevOps and architecture, iOS architecture, Android architecture, Backend architecture, Frontend architecture, etc. Whether you listen to them on your way to work or while having lunch or fervently coding, I ho...
Adam Stacoviak Jerod Santo Aaron Delp Brian Gracely Kaushik Gopal Donn Felker Software Symposium Tour
Source: dzone.com