corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0bdef-9136-7204-a399-fd8382d7a4e9

The Commitments-As-Contracts School of PL Philosophy

programmingmadecomplicated.wordpress.com · published 14 January 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at programmingmadecomplicated.wordpress.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
48
Words captured
9,356

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://programmingmadecomplicated.wordpress.com/2018/09/05/isnt-late-binding-inevitable/
programmingmadecomplicated.wordpress.com
https://newspeaklanguage.org/
newspeaklanguage.org
https://wiki.c2.com/?GreenspunsTenthRuleOfProgramming
wiki.c2.com
https://kar.kent.ac.uk/105537/
kar.kent.ac.uk
https://programmingmadecomplicated.wordpress.com/2017/07/08/a-survey-of-nightfall-around-the-web/
programmingmadecomplicated.wordpress.com
https://tinlizzie.org/VPRIPapers/tr2006003a_objmod.pdf
tinlizzie.org
https://en.wikipedia.org/wiki/GOFAI
en.wikipedia.org
https://en.wikipedia.org/wiki/Radix_sort
en.wikipedia.org
https://en.wikipedia.org/wiki/Pareto_front
en.wikipedia.org
https://tinlizzie.org/VPRIPapers/rn2006001a_colaswp.pdf
tinlizzie.org
https://en.wikipedia.org/wiki/Almost_all
en.wikipedia.org
What is a Programming System? Read at the source ↗
programmingmadecomplicated.wordpress.com
https://malleable.systems/
malleable.systems
https://onlinelibrary.wiley.com/doi/abs/10.1002/spe.4380180603
onlinelibrary.wiley.com
Can We Add Reflection to Machine Code? Read at the source ↗
programmingmadecomplicated.wordpress.com
My Two Absolute, Hands-Down Least Favourite Things in Programming Read at the source ↗
programmingmadecomplicated.wordpress.com
https://en.wikipedia.org/wiki/Multics
en.wikipedia.org
https://en.wikipedia.org/wiki/8.3_filename
en.wikipedia.org
https://dl.acm.org/doi/10.1145/2508168.2508169
dl.acm.org
https://tinlizzie.org/VPRIPapers/tr2010001_worlds.pdf
tinlizzie.org
https://github.com/jdjakub/ThingLabII/blob/2d1042669a6037115a7095fbb38741057aa47544/ThingManual.txt
github.com
https://dl.acm.org/doi/10.1145/38807.38812
dl.acm.org
https://en.wikipedia.org/wiki/Minimum_message_length
en.wikipedia.org
https://programmingmadecomplicated.wordpress.com/2017/07/06/nightfall-attempt-1-c-sfml-2012/
programmingmadecomplicated.wordpress.com
https://programmingmadecomplicated.wordpress.com/2017/07/12/i-have-no-m_mouth-and-i-must-scream/
programmingmadecomplicated.wordpress.com
Schema Evolution in Interactive Programming Systems Read at the source ↗
alarmingdevelopment.org
https://programmingmadecomplicated.wordpress.com/2017/07/14/re-inventing-the-square-method-dictionary/
programmingmadecomplicated.wordpress.com
Ode to Id (Notes on COLA’s object model), Part 1 Read at the source ↗
programmingmadecomplicated.wordpress.com
A “File” is just a common address space for processes Read at the source ↗
programmingmadecomplicated.wordpress.com
https://developer.nvidia.com/gpu-accelerated-path-rendering
developer.nvidia.com
https://raphlinus.github.io/rust/graphics/gpu/2020/06/13/fast-2d-rendering.html
raphlinus.github.io
http://kunzhou.net/zjugaps/pathrendering/
kunzhou.net
https://programmingmadecomplicated.wordpress.com/2017/10/16/aborted-attempt-at-greenspunning-java/
programmingmadecomplicated.wordpress.com
https://programmingmadecomplicated.wordpress.com/2017/07/31/nightfall-attempt-2-java-jsfml-2013/
programmingmadecomplicated.wordpress.com
https://docs.oracle.com/javase/8/docs/technotes/guides/collections/reference.html
docs.oracle.com
https://www.cl.cam.ac.uk/~afb21/publications/BlackwellGreen-CDsChapter.pdf
cl.cam.ac.uk
https://github.com/dcramer/mangodb
github.com
https://en.wikipedia.org/wiki/Abstract_factory_pattern
en.wikipedia.org
https://kar.kent.ac.uk/105537/1/132jdj9-PhD-dissertation.pdf
kar.kent.ac.uk
https://dl.acm.org/doi/10.1145/1291201.1291211
dl.acm.org
http://www.christopherkhall.com/Dissertation.pdf
christopherkhall.com
https://www.subtext-lang.org/
subtext-lang.org
https://en.wiktionary.org/wiki/eu-
en.wiktionary.org
https://bracha.org/pluggableTypesPosition.pdf
bracha.org
https://peps.python.org/pep-0484/
peps.python.org
https://www.typescriptlang.org/docs/handbook/2/everyday-types.html
typescriptlang.org
https://youtu.be/G_f9HWp6PLE?t=168
youtu.be
https://en.wikipedia.org/wiki/Enclave_and_exclave
en.wikipedia.org