tbagrel-phd-manuscript

Thomas BAGREL PhD manuscript on Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings

Name		Name	Last commit message	Last commit date
Latest commit History 179 Commits
.github/workflows		.github/workflows
chapters		chapters
fonts		fonts
graphics		graphics
minted3		minted3
nix		nix
schemas		schemas
submitted_pdfs		submitted_pdfs
.gitignore		.gitignore
LOGO_CNRS_BLEU.png		LOGO_CNRS_BLEU.png
Logo_ULorraine-Couleur.png		Logo_ULorraine-Couleur.png
Makefile		Makefile
README.md		README.md
alpha-fr.bst		alpha-fr.bst
authblk.sty		authblk.sty
bibliography.bib		bibliography.bib
creationdate.lua		creationdate.lua
destination_calculus_grammar.ott		destination_calculus_grammar.ott
destination_calculus_rules.ott		destination_calculus_rules.ott
gglo.ist		gglo.ist
hc.py		hc.py
inr_logo_rouge.png		inr_logo_rouge.png
latexmkrc		latexmkrc
lin_calculus_rules.ott		lin_calculus_rules.ott
listproc.sty		listproc.sty
logo_loria_complet_couleur.png		logo_loria_complet_couleur.png
ottalt.sty		ottalt.sty
ottstyling.sty		ottstyling.sty
patch_rules.py		patch_rules.py
pygmentize_local		pygmentize_local
repl_tikzit		repl_tikzit
repl_tikzit.py		repl_tikzit.py
rosette.pdf		rosette.pdf
shell.nix		shell.nix
tbagrel_phd_manuscript.mng		tbagrel_phd_manuscript.mng
tbagrel_phd_presentation.mng		tbagrel_phd_presentation.mng
tbagrel_phd_summary_fr.mng		tbagrel_phd_summary_fr.mng
thesul.cls		thesul.cls
tikzit.sty		tikzit.sty
tikzstyle.tikzstyles		tikzstyle.tikzstyles
tulfloat.sty		tulfloat.sty
tulglo.ist		tulglo.ist
tulhypref.sty		tulhypref.sty
tulind.ist		tulind.ist
tulloria.pdf		tulloria.pdf
tulul.pdf		tulul.pdf
tweag.png		tweag.png

Provide feedback