[Tutorials @ ICFP'22] Teaching functional programming

icfp 22 retrofitting concurrency lessons from the engine roomПодробнее

[ICFP'22] OlympicПодробнее

[ICFP'22] Monadic Compiler Calculation (Functional Pearl)Подробнее

[Tutorials @ ICFP'22] Teaching functional programmingПодробнее

[Tutorials @ ICFP'22] Verified Quantum Computing (Part 1)Подробнее

[Tutorials @ ICFP'22] OCaml 5 for the Working Programmer (Part 2)Подробнее

[Tutorials @ ICFP'22] OCaml 5 for the working Programmer (Part1)Подробнее

[ICFP'22] Retrofitting Concurrency – Lessons from the Engine RoomПодробнее

[JFP@ICFP'22] ANF Preserves Dependent Types upto Extensional EqualityПодробнее

[PLMW@ICFP'22] Opening RemarksПодробнее

[JFP@ICFP'22] Back To FuturesПодробнее

[JFP@ICFP'22] Denotational semantics as a foundation for cost recurrence extraction for functio...Подробнее

[ICFP'22] Automatically Deriving Control-Flow Graph Generators from Operational SemanticsПодробнее

[ICFP'22] Safe Couplings: Coupled Refinement TypesПодробнее

[ICFP'22] Beyond Relooper: Recursive Translation of Unstructured Control Flow to Structu…Подробнее

[ICFP'22] "do" Unchained: Embracing Local Imperativity in a Purely Functional Langua...Подробнее

[ICFP'22] Generating Circuits with GeneratorsПодробнее

[ICFP'22] Entanglement Detection with Near-Zero CostПодробнее

[ICFP'22] Student Research Competition Final PresentationsПодробнее

[ICFP'22] Datatype-Generic Programming Meets Elaborator ReflectionПодробнее