Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Implicit Function Types
Graph Chatbot
Related lectures (32)
Previous
Page 4 of 4
Next
Fermented Foods: Microbial Transformations and Health Benefits
Explores the microbial transformations and health benefits of fermented foods, emphasizing their potential as delivery vehicles for probiotics to underserved communities.
Verified Functional Programming: Nicolas Voirol public PhD thesis defense
Explores verified functional programming, formal verification, SMT solvers, type checking, Scala features, automation, and dependent types.
