Pure & constructive mathematics in theory and use – Telegram
Pure & constructive mathematics in theory and use
@typetheoryinprogramming
506 subscribers
1 photo
13 files
444 links
Just resources about fundamental mathematics, type theory, their use in programming mostly.
Contact: @megamanisepic
Becoming an admin isn't difficult as long as you have a slight idea of the topic and preserve the style.
Download Telegram
About
Blog
Apps
Platform
Join
Pure & constructive mathematics in theory and use
506 subscribers
Pure & constructive mathematics in theory and use
monoid.space - Yet Another Agda Tutorial
https://monoid.space
390 viewsUnivalence (needs guix tech support), 
Pure & constructive mathematics in theory and use
Unboxed Types for OCaml
https://www.youtube.com/watch?v=RV-4Xddk0Yc&t=29
YouTube
Unboxed Types for OCaml
OCaml has a well-deserved reputation for compiling quickly. This is thanks in part to its uniform representation: all values have the same memory layout, so ...
379 viewsGNU/Brett G., 
Pure & constructive mathematics in theory and use
RustBelt: Logical Foundations for the Future of Safe Systems Programming
https://www.youtube.com/watch?v=1GjSfyijaxo&t=6
YouTube
RustBelt: Logical Foundations for the Future of Safe Systems Programming
Presented by: Derek Dreyer Rust is a new systems programming language, sponsored by Mozilla, that promises to overcome the seemingly fundamental tradeoff in ...
413 viewsGNU/Brett G., 
Pure & constructive mathematics in theory and use
Call for Participation for CPP 2020
https://paste.sr.ht/%7Ebrettgilio/0afdf28261db5dac24daa29fa34d813906c898da
374 viewsGNU/Brett G., 
Pure & constructive mathematics in theory and use
The 23rd International Conference on Theory and Applications of Satisfiability Testing
https://paste.sr.ht/%7Ebrettgilio/9ed0c26f38430662ed069ee66ff39702c271a8c8
394 viewsGNU/Brett G., 
Pure & constructive mathematics in theory and use
(Co)ends, your only (co)friends
[requires somewhat minimal CT knowledge, as stated in preliminaries]
367 viewsUnivalence (needs guix tech support), 
Pure & constructive mathematics in theory and use
Forwarded from H
Coends.pdf
1.4 MB
397 viewsUnivalence (needs guix tech support), 
Pure & constructive mathematics in theory and use
Nah, let me give you the actual book
383 viewsFo Uche, 
Pure & constructive mathematics in theory and use
(the same book, but it's complete)
400 viewsUnivalence (needs guix tech support), 
Pure & constructive mathematics in theory and use
Forwarded from Горький Фуш
mainfile.pdf
2.2 MB
478 viewsUnivalence (needs guix tech support), 
Pure & constructive mathematics in theory and use
SIXTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 6)
-- including a Category Theory PhD Recruitment Fair --
https://paste.sr.ht/%7Ebrettgilio/797e389c3d86dea30320c8f772816c9fccf51e44
713 viewsGNU/Brett G., 
Pure & constructive mathematics in theory and use
The Center for Secure and Resilient Systems at HRL Laboratories — Postdoc and Internship in Formal Methods
https://paste.sr.ht/%7Ebrettgilio/2756d9f4430e0a2023948969eaff28fe55c6f954
425 viewsGNU/Brett G., 
Pure & constructive mathematics in theory and use
Computer Science Logic 2020
https://paste.sr.ht/%7Ebrettgilio/ef44cd356bc738538aeee16d24f6d04defefe3f7
451 viewsGNU/Brett G., 
Pure & constructive mathematics in theory and use
21st Symposium on Trends in Functional Programming
https://paste.sr.ht/%7Ebrettgilio/cee95c7dc8c6c3ce23b35c823aa1ce89479021bf
487 viewsGNU/Brett G., 
Pure & constructive mathematics in theory and use
minicaml, a didactical OCaml-like functional programming language. :: 0x0f0f0f
https://0x0f0f0f.github.io/posts/2019/12/minicaml-a-didactical-ocaml-like-functional-programming-language./
0x0f0f0f.github.io
minicaml, a didactical OCaml-like functional programming language.
minicaml is a small, purely functional interpreted programming language with a didactical purpose. I wrote minicaml for the Programming 2 course at the University of Pisa, taught by Professors Gianluigi Ferrari and Francesca Levi. It is based on the teachers'…
1.53K viewsGNU/Brett G., 
Pure & constructive mathematics in theory and use
13th European Lisp Symposium w/ Special Focus on Compilers
https://paste.sr.ht/%7Ebrettgilio/452d9b998ac0440d677e4d76d35cb58ae52e1bc7
742 viewsGNU/Brett G., 
Pure & constructive mathematics in theory and use
Lambda: The Ultimate Imperative
https://dspace.mit.edu/handle/1721.1/5790
434 viewsUnivalence (apparently does haskell tech support), 
Pure & constructive mathematics in theory and use
Dependent Protocols for Communication
https://nicolaspouillard.fr/publis/dep-proto.pdf
378 viewsUnivalence (apparently does haskell tech support), 
Pure & constructive mathematics in theory and use
Formalizing Cantan Geometry in Modal Homotopy Type Theory
http://www.math.kit.edu/iag3/~wellen/media/diss.pdf
382 viewsUnivalence (apparently does haskell tech support), 
Pure & constructive mathematics in theory and use
Syntax and Semantics of Quantitative Type Theory
https://bentnib.org/quantitative-type-theory.pdf
477 viewsUnivalence (apparently does haskell tech support), 
Pure & constructive mathematics in theory and use
Thanks to everyone for making this channel reach 300 subscribers! Really wouldn't have expected this :D
374 viewsUnivalence (apparently does haskell tech support),