Topics tagged pdf-download

Topic	Views	Activity
Nieczytelne – Jedyna opcja to ciągła radykalizacja institutions pdf-download	3	September 9, 2024
Chocolate polymorphs paper pdf-download , chocolate , food , crystallography	6	April 7, 2024
Category Theory in Context paper mathematics , pdf-download , category-theory	2	March 24, 2024
A Graph-Based Higher-Order Intermediate Representation paper pdf-download , theoretical-computer-science , computer-science , compiler-theory	3	March 24, 2024
Foundations of probabilistic programming book probability , pdf-download , programming-language-design , computer-science , statistics	4	March 24, 2024
SAT/SMT by example paper pdf-download , theoretical-computer-science , computer-science , sat-solver , smt-solver	2	March 24, 2024
Cost-aware type theory paper pdf-download , complexity-theory , theoretical-computer-science , type-theory	2	March 24, 2024
Cubical Type Theory paper pdf-download , mathematics , theoretical-computer-science , type-theory	2	March 24, 2024
Paxos Made Simple paper pdf-download , algorithm , distributed-systems , leslie-lamport , distributed-consensus , paxos-algorithm	2	March 24, 2024
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it paper pdf-download , c-language , programming-language-design , concurrency , compiler-theory	2	March 24, 2024
Refinement types - a tutorial paper pdf-download , theoretical-computer-science , programming-language-design , type-theory , refinement-types	3	March 24, 2024
Fast Random Integer Generation in an Interval paper algorithm , pdf-download , computer-science , pseudorandomness , randomness	4	March 24, 2024
Java and Scala’s Type Systems are Unsound paper pdf-download , programming-language-design , type-theory , theoretical-computer-science , java-language , scala-language	2	March 24, 2024
Child's guide to spinors paper mathematics , pdf-download , physics , geometry	3	March 24, 2024
Cube Helix color palette paper pdf-download , color-theory , color-palette , data-visualization	2	March 24, 2024
A catalogue of optimizing transformations paper big-list , pdf-download , programming-language-design , theoretical-computer-science , compiler-theory	2	March 23, 2024
δ-Complete Decision Procedures for Satisfiability over the Reals paper mathematics , pdf-download , algorithm , theoretical-computer-science	3	March 23, 2024
Leslie Lamport - Time, clocks, and ordering of events in distributed systems paper distributed-systems , pdf-download , leslie-lamport	2	March 23, 2024
Corecursion and coinduction paper pdf-download , mathematics , theoretical-computer-science , type-theory	2	March 23, 2024
Mastering the Core Teachings of the Buddha book pdf-download , religion , buddhism , meditation	4	March 23, 2024
Hoare's hints on programming language design paper pdf-download , theoretical-computer-science , programming-language-design	2	March 23, 2024
Safe Pointers in SPARK 2014 paper ada-spark , pdf-download , programming , ada-language , computer-memory-management	2	March 23, 2024
Set-Theoretic Types for Polymorphic Variants paper pdf-download , set-theory , mathematics , theoretical-computer-science	3	March 23, 2024
Type inference with subtyping paper pdf-download , mathematics , theoretical-computer-science	2	March 23, 2024
Plane-based Geometric Algebra book geometric-algebra , mathematics , pdf-download , geometry	3	March 21, 2024
Real Differences between OT and CRDT under a General Transformation Framework for Consistency Maintenance in Co-Editors paper distributed-systems , pdf-download , data-structure , programming	4	March 21, 2024
Chronofold: a data structure for versioned text paper distributed-systems , pdf-download , programming , data-structure	3	March 21, 2024
Elements of Statistical Learning book mathematics , pdf-download , artificial-intelligence , statistics , machine-learning	3	March 21, 2024
Conterfactual Regret Minimization paper game-theory , mathematics , pdf-download , artificial-intelligence , counterfactual-regret-minimization	3	March 20, 2024
PID (control) without PhD paper control-theory , pdf-download	2	March 21, 2024