Working Notes: a commonplace notebook for recording & exploring ideas.
Home. Site Map. Subscribe. More at expLog.
type:: #StrangeLoop2023
Languages that don't use names
Can have programs equivalent in meaning
Stack effects
meaning == effects it has on the runtime stack
factor: precondition -- postcondition annotation
c -> lambda complier
uxn virtual machine (100 rabbits)
lots of interesting papers along the way
— Kunal