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 Today : Breaking News, Live Updates & Top Stories | Vimarsana
Stay updated with breaking news from Type Theory. Get real-time updates on events, politics, business, and more. Visit us for reliable news and exclusive interviews.
Top News In Type Theory Today - Breaking & Trending Today
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 hope you find them inspiring, enlightening, and useful. 20 Software Engineering Podcasts to Follow Sof...
Source: dzone.com