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
Operational Semantics: Amyli Language
Graph Chatbot
Related lectures (31)
Previous
Page 3 of 4
Next
Polymorphism in Coq: Data Structures and Functions
Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.
Lambda Calculus: Church Numerals
Explores Church numerals, Booleans, pairs, recursion, and behavioral equivalence in Lambda Calculus.
Music Semantics: Problems and Prospects
Explores music semantics, discussing inferences triggered by different musical elements and proposing a framework for understanding music's meaning.
Type Rules: Progress and Preservation
Covers Amyli, a tiny functional language, type rules, and soundness.
Contextual Bandits: Simplifying Strategy for Content Selection
Introduces contextual bandits for content selection based on different contexts.
Recursive Functions: Substitution Interpreter
Covers the implementation of recursive functions using substitutions and environments, showcasing the ability to execute computable functions.
Communication Amid Uncertainty
Explores challenges in human communication, context importance, compression problems, uncertain functionality, and proof verification.
Effective Altruism: AI Safety and Governance
Covers effective altruism in AI safety, focusing on programming semantics and memory management.
An Introduction to Iris: Higher-Order Concurrent Separation Logic
Introduces Iris, a logical framework for reasoning about safety and correctness of concurrent higher-order imperative programs, emphasizing its unique characteristics and applications.
Implementation Research: Overview
Offers an overview of Implementation Research, covering key concepts, strategies, and outcomes in the context of infectious diseases.
