4 тысяч подписчиков
578 видео
Safely Mixing OCaml and Rust
Gibbon: A Compiler for Recursive Functions on mostly Serialized Data
Resource Guided Program Synthesis
08 Composable Caching in Swift
2 02 Type Families with Class
Keynote: Cross-Platform Language Design in Scala.js
Scalar and Tensor Parameters for Importing Tensor Index Notation
03 Type Level Web APIs
Taming Control Flow through Linear Effect Handlers
Embedding Invertible Languages with Binders
Understanding Formal Specifications through Good Examples
Winning on Windows: porting the OCaml platform
Source Plugins
Modular Acceleration: Tricky Cases of Functional High-Performance Computing
R&B: Towards bringing functional programming to everyday's web programmer
HELIX: A Case Study of a Formal Verification of High Performance Program Generation
Extended Abstract: CoExtended Abstract: Comprehending Monoids with Class
Finding fixed points faster
Comparing Strategies for Lightweight Threading Based on Continuations
A High-Performance Multicore IO Manager Based on libuv (Experience Report)
APLicative Programming with Naperian Functors
ML as a Tactic Language, Again
Ghosts of Departed Proofs (Functional Pearl)
11 3 LLVM Bitcode
State of GHC
Implementing Resource-Aware Safe Assembly for Kernel Probes as a Dependently-Typed DSL
2 12 constructive Galois Connections: Taming the Galois Connection Framework for Mechanazed Metathe
10 Global Semantic Analysis on OCaml programs
Gradual Typing
A DSL for Microservices
Programming with Abstract Algebraic Effects
DerivingVia: How to Turn Hand-Written Instances into an Anti-Pattern
Keynote: Distributed Erlang: From Datacenter Applications to Planetary Scale Applications
Exact Real Arithmetic for Geometry
Modelling Distributed Erlang within a Single Node
Relit: Implementing Typed Literal Macros in Reason
ELPI: an extension language with binders and unification variables (Invited talk)
How to write a great research paper
A Haskell Interface to SUNDIALS via inline-c
Automatic Detection of Core Erlang Message Passing Errors
Constraint Solvers for the Working PL Researcher
Garnishing Parsec with Parsley
On the Calculation of Functions in the Algebra of Physical Space
Manifolds as Haskell types
3 06 Hierarchical Memory Managment for Parallel Programs
Functional programming with MLTS
Verified Low-Level Programming Embedded in F*
Generalized Abstract GHC.Generics
Parser Combinators for Context-Free Path Querying
Implementing Linear Haskell
