Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#Lambda Calculus

Showing: 51 courses
Hausdorff Center for Mathematics

Translating HOL-Light Proofs to Coq

0 rewiews
Découvrez la traduction des preuves HOL-Light vers Coq, explorant les défis et solutions pour la vérification formelle entre systèmes logiques différents.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

Differential Categories

0 rewiews
Explorez les catégories différentielles et leur application en logique linéaire différentielle dans cette conférence mathématique approfondie.
Add to list
1 Lesons
1 hour 29 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

Böhm Trees and Taylor Expansion

0 rewiews
Explore Böhm trees and Taylor expansion in lambda calculus, delving into their mathematical properties and applications in differential linear logic.
Add to list
1 Lesons
1 hour 32 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

An Introduction to Differential Linear Logic

0 rewiews
Explore Differential Linear Logic fundamentals, key concepts, and applications in this comprehensive introduction by Marie Kerjean at CIRM's mathematical conference.
Add to list
1 Lesons
1 hour 18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Monadic and Comonadic Aspects of Dependency Analysis

0 rewiews
Explore monadic and comonadic aspects of dependency analysis, unifying calculi into a framework that addresses limitations of existing approaches and provides novel correctness proofs.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

A Gradual Probabilistic Lambda Calculus

0 rewiews
Explore a gradual probabilistic lambda calculus combining static and dynamic typing for probabilistic programming, enhancing flexibility in machine learning and differential privacy applications.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Type Theory Session Preview - POPL 2023

0 rewiews
Explore type theory fundamentals and recent advancements in this expert-led session preview for POPL 2023, enhancing accessibility of upcoming talks.
Add to list
1 Lesons
11 minutes
On-Demand
Free-Video
ACM SIGPLAN

On the Metatheory of IRs and the CPS-Calculus

0 rewiews
Explore the metatheory of IRs and CPS-calculus, examining their foundations, semantics, and applications in compiler optimization and dependently-typed programming languages.
Add to list
7 Lesons
12 minutes
On-Demand
Free-Video
ACM SIGPLAN

Structural Subtyping as Parametric Polymorphism

0 rewiews
Explore the relationship between structural subtyping and parametric polymorphism in programming languages, focusing on their expressive power and potential encodings.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

Resource-Aware Soundness for Big-Step Semantics

0 rewiews
Explore resource-aware extensions to lambda calculus semantics and type systems, ensuring well-typed programs avoid resource exhaustion through coinductive reasoning and big-step formalization.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Towards Tagless Interpretation of Stratified System F

0 rewiews
Explore the design of an intrinsically typed, tagless interpreter for stratified System F in Agda, focusing on advanced type theory concepts and implementation strategies.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Nominal Recursors as Epi-Recursors - POPL 2024

0 rewiews
Explore nominal recursors in syntax with bindings, comparing expressiveness and viewing them as epi-recursors. Develop a framework for comparison and apply to nominal corecursors, validated with Isabelle/HOL.
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
ACM SIGPLAN

Generating Well-Typed Terms That Are Not "Useless"

0 rewiews
Explore a novel algorithm for generating well-typed lambda terms that use their arguments effectively, improving random testing of functional language compilers.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
Open Data Science

Meaning Representation for Natural Language Understanding - Mariana Romanyshyn - ODSC Europe 2019

0 rewiews
Explore abstract meaning representation in NLP, its algorithms, and applications. Learn about AMR graphs and their potential to enhance question answering, summarization, and text simplification.
Add to list
20 Lesons
44 minutes
On-Demand
Free-Video
Java

Lambda Expressions in Java - Performance and Advanced Applications

0 rewiews
Explore lambda expressions in Java, from syntax to performance implications, and discover mind-bending functional programming techniques to solve complex problems using only lambdas.
Add to list
12 Lesons
44 minutes
On-Demand
Free-Video
Ben Eater

Making a Computer Turing Complete

0 rewiews
Explore Turing completeness, Turing machines, and Lambda calculus, and learn how to make an 8-bit breadboard computer capable of solving any computable problem.
Add to list
5 Lesons
18 minutes
On-Demand
Free-Video
GOTO Conferences

An Alien Lambda Calculus - Exploring Alternative Computational Models

0 rewiews
Explore an alien lambda calculus: a thought experiment on alternate physics and philosophies, offering insights into compiler design and functional programming concepts.
Add to list
1 Lesons
30 minutes
On-Demand
Free-Video
ACM SIGPLAN

Taylor Expansion and Game Semantics - Exploring Isomorphisms in Lambda Calculus

0 rewiews
Explore the isomorphism between Taylor expansion of λ-terms and pointer concurrent games interpretation, extending previous results on resource terms and game semantics.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Space-Efficient Polymorphic Gradual Typing, Mostly Parametric - PLDI 2024

0 rewiews
Explore space-efficient implementation of gradual typing with mostly parametric polymorphism. Learn about λCmp and λSmp calculi, their properties, and the implications for type-preserving translations.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

One-Pass CPS Translation of Dependent Types

0 rewiews
Explore type-preserving CPS translation for dependently typed languages, focusing on optimizing techniques to eliminate administrative redexes in the Calculus of Constructions.
Add to list
1 Lesons
13 minutes
On-Demand
Free-Video
ACM SIGPLAN

Higher Order Bayesian Networks, Exactly - POPL 2024

0 rewiews
Explore a higher-order programming language for Bayesian networks, combining advanced techniques from linear logic, intersection types, and rewriting theory for efficient probabilistic modeling and inference.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
Strange Loop Conference

Propositions as Types

0 rewiews
Explore the profound connection between logic and computation, delving into the Propositions as Types principle and its impact on theorem provers, programming languages, and computing frontiers.
Add to list
22 Lesons
43 minutes
On-Demand
Free-Video
Strange Loop Conference

The Road to Akka Cluster, and Beyond

0 rewiews
Exploring distributed computing landscape, from early computer architecture to modern challenges. Covers key theories, protocols, and technologies, with insights into Akka Cluster's design and future developments.
Add to list
27 Lesons
44 minutes
On-Demand
Free-Video
Devoxx

From Javascript to Haskell - Functional Programming Made Simple

0 rewiews
Demystifying functional programming concepts through live coding, transforming imperative code to functional. Explore key principles like higher-order functions, closures, and currying for clearer, more efficient code.
Add to list
1 Lesons
50 minutes
On-Demand
Free-Video
GOTO Conferences

Fun with the Lambda Calculus

0 rewiews
Explore the lambda calculus through hands-on exercises using Vim and CLI. Learn to build computing structures from basic lambda functions in this engaging presentation.
Add to list
1 Lesons
49 minutes
On-Demand
Free-Video
code::dive conference

Thinking Outside the Synchronisation Quadrant

0 rewiews
Explore concurrency, architecture, and software development challenges with Kevlin Henney. Gain insights on system properties, code execution states, and functional programming approaches to improve performance and maintainability.
Add to list
14 Lesons
1 hour 33 minutes
On-Demand
Free-Video
CppNow

Trees for Logic and Parsing in C++

0 rewiews
Explore efficient implementation of recursive tree-types in C++ for logic and parsing, with insights on construction, inspection, and replacement of subtrees.
Add to list
31 Lesons
1 hour 25 minutes
On-Demand
Free-Video
EuroPython Conference

Mary Had a Little Lambda

0 rewiews
Explore lambda calculus: from simple Python functions to powerful abstractions. Learn to create booleans, integers, operators, and data structures using only lambda functions.
Add to list
19 Lesons
44 minutes
On-Demand
Free-Video
Scala Days Conferences

Functional Programming Essentials

0 rewiews
Explore functional programming's origins, principles, and practical applications in Scala. Learn about pure functions, immutability, and how to apply FP concepts in everyday work without complex abstractions.
Add to list
30 Lesons
49 minutes
On-Demand
Free-Video
NDC Conferences

Live Lambda Calculus

0 rewiews
Explore lambda calculus through live coding, building an interpreter in F# and demonstrating its practical applications in functional programming.
Add to list
10 Lesons
1 hour 1 minute
On-Demand
Free-Video
NDC Conferences

Dependency Injection Revisited

0 rewiews
Explore functional programming approaches to Dependency Injection, examining non-deterministic behavior control and its application in both functional and object-oriented paradigms.
Add to list
12 Lesons
54 minutes
On-Demand
Free-Video
NDC Conferences

Dependency Injection Revisited

0 rewiews
Explore alternative approaches to Dependency Injection, examining functional programming concepts and their applicability to object-oriented programming. Gain insights into controlling non-deterministic behavior in software development.
Add to list
1 Lesons
56 minutes
On-Demand
Free-Video
NDC Conferences

Turing's Toy - The Story of a Mathematical Idea That Changed the World

0 rewiews
Explore Turing's revolutionary 'universal machine' concept, its historical context, and far-reaching impact on computer science and technology in this engaging talk.
Add to list
24 Lesons
50 minutes
On-Demand
Free-Video
ACM SIGPLAN

Unboxed Data Constructors: Efficient and Safe Big Number Handling in ML Languages

0 rewiews
Explore unboxed data constructors in ML languages, enhancing efficiency without compromising safety. Learn static analysis techniques and their implementation in OCaml, including termination detection algorithms.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Explicit Refinement Types - A Type Theory with Embedded Proofs

0 rewiews
Explore λert, a type theory with explicit proof refinement types. Learn about its soundness, denotational semantics, and formalization in Lean 4.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
ACM SIGPLAN

Probabilistic Programming with Stochastic Probabilities

0 rewiews
Explore a novel approach to probabilistic programming languages using stochastic probability estimation, enabling unrestricted stochastic control flow and programmable inference with custom proposals.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Operational Game Semantics for Generative Algebraic Effects and Handlers

0 rewiews
Explore operational game semantics for generative algebraic effects and handlers in a typed call-by-value λ-calculus, focusing on dynamic allocation and first-class effect instances.
Add to list
1 Lesons
24 minutes
On-Demand
Free-Video
ACM SIGPLAN

Hashing Modulo Context-Sensitive Alpha-Equivalence - PLDI 2024

0 rewiews
Explore efficient hashing for lambda-terms with context-sensitive alpha-equivalence. Learn about improved algorithms for subterm comparison and structure sharing in mathematical knowledge graphs.
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
ACM SIGPLAN

Stream Types - A Foundational Theory of Typed Data Streams and Stream Transformers

0 rewiews
Explore a foundational theory of typed data streams and transformers, covering complex sequential patterns, parallel structure, and programming idioms like punctuation and windowing.
Add to list
1 Lesons
25 minutes
On-Demand
Free-Video
Confreaks

La-La-Lambda Calculus: A Functional Musical Journey

0 rewiews
Explore lambda calculus through a musical journey, discovering its power to represent programs as pure functions and its role in functional programming.
Add to list
1 Lesons
12 minutes
On-Demand
Free-Video
ACM SIGPLAN

Operational Game Semantics for Generative Algebraic Effects and Handlers

0 rewiews
Explore operational game semantics for generative algebraic effects and handlers in a typed call-by-value λ-calculus with dynamic allocation of effect instances.
Add to list
1 Lesons
30 minutes
On-Demand
Free-Video
ACM SIGPLAN

A History of Subtyping

0 rewiews
Explore the evolution and significance of subtyping in programming languages with Benjamin C. Pierce's comprehensive historical overview.
Add to list
1 Lesons
48 minutes
On-Demand
Free-Video
ACM SIGPLAN

The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming

0 rewiews
Explore the Verse calculus, a new core calculus for deterministic functional logic programming, featuring a small-step rewrite semantics for reasoning about programs similar to lambda calculus.
Add to list
1 Lesons
30 minutes
On-Demand
Free-Video
ACM SIGPLAN

Graded Modal Dependent Type Theory with Universe and Erasure - Formalized

0 rewiews
Explore a graded modal type theory with dependent types, erasure, and formalized meta-theoretic properties. Delve into its universe, extraction function, and soundness proofs for open programs.
Add to list
1 Lesons
30 minutes
On-Demand
Free-Video
Code Sync

Lambda Calculus Beep Boop - A Humane Representation of Lambda Calculus Terms

0 rewiews
Explore "beep boop," a humane representation of lambda calculus terms inspired by sound, offering an easier alternative to traditional notations for humans to utter and understand.
Add to list
1 Lesons
42 minutes
On-Demand
Free-Video
Code Sync

Uncomputable Functions - Exploring the Limits of Computation

0 rewiews
Explore the fascinating world of uncomputable functions, their implications for lambda calculus, and the limits of computation in this thought-provoking presentation.
Add to list
1 Lesons
41 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

Weighted Relational Models

0 rewiews
Explore weighted relational models in differential λ-calculus and linear logic with Guy McCusker's insightful conference talk at CIRM.
Add to list
1 Lesons
58 minutes
On-Demand
Free-Video
Hausdorff Center for Mathematics

Structural Rules and Algebraic Properties of Intersection Types

0 rewiews
Explore structural rules and algebraic properties of intersection types in lambda calculus, examining their impact on type assignment systems and programming language theory.
Add to list
1 Lesons
56 minutes
On-Demand
Free-Video
Hausdorff Center for Mathematics

Lean4Lean - Formalizing the Type Theory of Lean

0 rewiews
Explore the formalization of Lean's type theory with Mario Carneiro, delving into advanced concepts and techniques for theorem proving and mathematical reasoning.
Add to list
1 Lesons
54 minutes
On-Demand
Free-Video
Hausdorff Center for Mathematics

Formalization of Nominal Equational Reasoning in PVS - Nominal Unification

0 rewiews
Explore nominal equational reasoning and unification in PVS, focusing on formalizing techniques for handling bound variables in logical systems and programming languages.
Add to list
1 Lesons
38 minutes
On-Demand
Free-Video
NDC Conferences

Lambda? You Keep Using that Letter

0 rewiews
Explore the history, syntax, and uses of lambdas across programming languages, examining their origins and relationship to data abstraction in this insightful talk.
Add to list
1 Lesons
1 hour 1 minute
On-Demand
Free-Video