Submissions from xavierleroy.org

		Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
		3 points by srid 4 days ago \| past \| discuss
		Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
		3 points by fanf2 5 days ago \| past \| discuss
		Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
		116 points by SchwKatze 5 days ago \| past \| 6 comments
		Control Structures in Programming Languages (xavierleroy.org)
		18 points by todsacerdoti 6 days ago \| past \| 1 comment
		From Krivine's machine to the Caml implementations [pdf] (xavierleroy.org)
		2 points by fanf2 76 days ago \| past
		Programming = proving? The Curry-Howard correspondence today (xavierleroy.org)
		3 points by fanf2 4 months ago \| past
		Control Structures (English Translation of Lectures by Xavier Leroy) (xavierleroy.org)
		2 points by UncleOxidant on June 22, 2024 \| past
		Control Structures (xavierleroy.org)
		2 points by nequo on June 18, 2024 \| past
		Compiling Functional Languages (2002) [pdf] (xavierleroy.org)
		78 points by perihelions on Aug 24, 2023 \| past \| 14 comments
		The Hacker Test (1989) (xavierleroy.org)
		3 points by panic on Nov 13, 2019 \| past
		Compiling functional languages [pdf] (xavierleroy.org)
		4 points by jasim on Feb 18, 2019 \| past