The Principle of Categorical Harmony
https://ebrary.net/17831/philosophy/principle_categorical_harmony
https://ebrary.net/17831/philosophy/principle_categorical_harmony
Ebrary
The Principle of Categorical Harmony
In this section, we first see how logical constants can be regarded as adjoint functors, and finally lead to the principle of categorical harmony. Although I do not explain the concept of categories from the scratch, from a logical point of view, you may
The syntax of C in Backus-Naur Form
https://cs.wmich.edu/~gupta/teaching/cs4850/sumII06/The%20syntax%20of%20C%20in%20Backus-Naur%20form.htm
https://cs.wmich.edu/~gupta/teaching/cs4850/sumII06/The%20syntax%20of%20C%20in%20Backus-Naur%20form.htm
π4
Self Types for Dependently Typed Lambda Encodings
https://homepage.divms.uiowa.edu/~astump/papers/fu-stump-rta-tlca-14.pdf
https://homepage.divms.uiowa.edu/~astump/papers/fu-stump-rta-tlca-14.pdf
π1
My Favorite Math Jokes
https://arxiv.org/abs/2403.01010v1
https://arxiv.org/abs/2403.01010v1
arXiv.org
My Favorite Math Jokes
For many years, I have been collecting math jokes and posting them on my website. I have more than 400 jokes there. In this paper, which is an extended version of my talk at the G4G15, I would...
π3π1π1
Write Yourself a Scheme in 48 Hours
https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours
https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours
en.wikibooks.org
Write Yourself a Scheme in 48 Hours
Most Haskell tutorials on the web use a style of teaching akin to language reference manuals. They show you the syntax of the language, a few language constructs, then tell you to create a few simple functions at the interactive prompt. The "hard stuff" ofβ¦
β€3π1
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
https://arxiv.org/abs/2301.10061v3
https://arxiv.org/abs/2301.10061v3
arXiv.org
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
Probabilistic couplings are the foundation for many probabilistic relational program logics and arise when relating random sampling statements across two programs. In relational program logics,...
π2
Optimizing Rabin-Karp Hashing
https://mattsills.github.io/2024/03/02/rabin-karp/
https://mattsills.github.io/2024/03/02/rabin-karp/
π2π€―1
What Cannot be Skipped About the Skiplist: A Survey of Skiplists and Their Applications in Big Data Systems
https://arxiv.org/abs/2403.04582v2
https://arxiv.org/abs/2403.04582v2
arXiv.org
What Cannot be Skipped About the Skiplist: A Survey of Skiplists...
Skiplists have become prevalent in systems. The main advantages of skiplists are their simplicity and ease of implementation, and the ability to support operations in the same asymptotic...
C++ Safety, in Context
https://herbsutter.com/2024/03/11/safety-in-context/
https://herbsutter.com/2024/03/11/safety-in-context/
Sutterβs Mill
C++ safety, in context
Scope. To talk about C++βs current safety problems and solutions well, I need to include the context of the broad landscape of security and safety threats facing all software. I chair the ISO C++ sβ¦
π―3β€2π₯2π1
Tagless-final embedding of (a subset of) C in OCaml
https://okmij.org/ftp/meta-programming/tutorial/genc.html#tf
https://okmij.org/ftp/meta-programming/tutorial/genc.html#tf
okmij.org
Generating C
Heterogeneous metaprogramming: generating low-level language from a higher-level host language
π₯΄2π
1π1
Dependently typed programming with singletons
https://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1009&context=compsci_pubs
https://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1009&context=compsci_pubs
π1
Abstract interpretation: A semantics-based tool for program analysis
https://www.researchgate.net/publication/234803097_Abstract_interpretation_A_semantics-based_tool_for_program_analysis
https://www.researchgate.net/publication/234803097_Abstract_interpretation_A_semantics-based_tool_for_program_analysis
ResearchGate
(PDF) Abstract interpretation: A semantics-based tool for program analysis
PDF | Desirable mathematical background for this chapter includes basic concepts such as lattices, complete partial orders, homomorphisms, etc.the... | Find, read and cite all the research you need on ResearchGate
π₯1
Reflection and Metaprogramming in Smalltalk
https://m-sp.org/downloads/titech_programming_langauge_design.pdf
https://m-sp.org/downloads/titech_programming_langauge_design.pdf
π1
Experimental undelimited continuations in C via x86-64 assembly
https://github.com/cslarsen/callcc-c/blob/master/callcc.c
https://github.com/cslarsen/callcc-c/blob/master/callcc.c
GitHub
callcc-c/callcc.c at master Β· cslarsen/callcc-c
Experimental undelimited continuations in C via x86-64 assembly - cslarsen/callcc-c
π2
Build systems a la carte: theory and practice
https://simon.peytonjones.org/build-systems-a-la-carte-theory-and-practice/
https://simon.peytonjones.org/build-systems-a-la-carte-theory-and-practice/
Simon Peyton Jones
Build systems a la carte: theory and practice
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones Published in Journal of Functional Programming, Vol 30(E11) View PDF Download BibTex
π1π₯1π1π€―1