conal / talk-2014-lambdajam-denotational-designView external linksLinks
Talk material for LambdaJam 2014/2015 on denotational design
☆122Jan 8, 2024Updated 2 years ago
Alternatives and similar repositories for talk-2014-lambdajam-denotational-design
Users that are interested in talk-2014-lambdajam-denotational-design are comparing it to the libraries listed below
Sorting:
- Denotational Design: from programs to meanings☆100Mar 5, 2016Updated 9 years ago
- A more elegant specification for FRP☆24Jan 8, 2024Updated 2 years ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Jun 9, 2023Updated 2 years ago
- A keynote talk for LambdaJam 2015 (July 15--16)☆416Jan 8, 2024Updated 2 years ago
- Async tutorial (my HaskellerZ 2020 talk)☆13Apr 30, 2020Updated 5 years ago
- My favorite quotes☆17Oct 12, 2025Updated 4 months ago
- Slides and exercises for the Idris course taught at Galois☆51Oct 7, 2015Updated 10 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Parser combinator library for Elm☆36Nov 29, 2016Updated 9 years ago
- Step-by-step tutorial materials for the "A Whirlwind Tour of PureScript" workshop, held at YOW! Lambda Jam 2016 in Brisbane, and Compose …☆37Mar 31, 2017Updated 8 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Sep 16, 2018Updated 7 years ago
- Functional GPU programming - DSEL & compiler☆22Sep 9, 2016Updated 9 years ago
- Simple lambda prover☆24Jul 6, 2015Updated 10 years ago
- A small web programming library on top of reactive-banana and virtual-dom☆79Aug 25, 2015Updated 10 years ago
- A reactive Cube to play with☆18Jan 25, 2015Updated 11 years ago
- Elm arch guide in OpticUI☆13Dec 3, 2015Updated 10 years ago
- Mechanizing Types and Programming Languages using Beluga☆21May 29, 2020Updated 5 years ago
- Compiling to Categories☆458Feb 28, 2024Updated last year
- Omit fields for instance deriving☆37Jun 5, 2020Updated 5 years ago
- Nix Workshop Tutorials☆51Jun 18, 2021Updated 4 years ago
- A formal verification of Linear Temporal Logic in Coq☆23Feb 11, 2026Updated last week
- Notes of various papers regaridng free monads and extensible effects☆20Oct 10, 2019Updated 6 years ago
- The official supporting materials repository for LambdaConf 2015.☆90May 29, 2015Updated 10 years ago
- higher-order, no-boilerplate monads☆1,076Mar 15, 2025Updated 11 months ago
- This repository moved to https://github.com/elm-community/graph☆16Feb 22, 2023Updated 2 years ago
- Yes, it is what you think it is☆33Jan 20, 2016Updated 10 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- Resources for the online Type Theory Study Group☆162Feb 2, 2018Updated 8 years ago
- Reproducible builds for PureScript☆73Aug 7, 2018Updated 7 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Mar 6, 2015Updated 10 years ago
- Isomorphic Reasoning: Counting with Types☆38Jun 5, 2020Updated 5 years ago
- Community edited and directed course based on Spring '13 cis194.☆47Mar 5, 2016Updated 9 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Apr 4, 2022Updated 3 years ago
- css-bliss linter☆19Apr 28, 2015Updated 10 years ago
- A proxy for NeDB which allows for multi-process access☆11May 5, 2017Updated 8 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- A simple Prolog interpreter☆42Jan 14, 2022Updated 4 years ago
- Recursion schemes for Idris☆64Aug 23, 2018Updated 7 years ago