Archived tweet #11373 from the @leastfixedpoint Twitter Archive

@bahstgwamt @dyokomizo @coreload @lukego @littlecalculist @sperbsen @LecheDeAlmendra Actually if you haven't seen the works of Luca Cardelli, you're in for a treat; he's kind of amazing: lucacardelli.name/index.html -- be sure to check out the "Past" link as well as the "Current" stuff