GitHub - retriku/Publications: Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 151 Commits
TheDaoOfFP		TheDaoOfFP
.gitignore		.gitignore
Abstract.pdf		Abstract.pdf
Abstract.tex		Abstract.tex
Actegories.pdf		Actegories.pdf
Actegories.tex		Actegories.tex
Algebras1.pdf		Algebras1.pdf
Algebras1.tex		Algebras1.tex
Algebras2.pdf		Algebras2.pdf
Algebras2.tex		Algebras2.tex
Algebras3.pdf		Algebras3.pdf
Algebras3.tex		Algebras3.tex
AlgebrasNotes.pdf		AlgebrasNotes.pdf
AlgebrasNotes.tex		AlgebrasNotes.tex
BartoszHaskellLove.pdf		BartoszHaskellLove.pdf
BladeRunner.jpeg		BladeRunner.jpeg
CrashCourse ScalaIO.pdf		CrashCourse ScalaIO.pdf
CrashCourse.key		CrashCourse.key
DependentOptics.pdf		DependentOptics.pdf
DependentOptics.tex		DependentOptics.tex
Diagonal.pdf		Diagonal.pdf
Fibrations.pdf		Fibrations.pdf
Filtered.pdf		Filtered.pdf
FreeMono.pdf		FreeMono.pdf
FreeMono.tex		FreeMono.tex
FreeMonoidsInitialAlgebras.pdf		FreeMonoidsInitialAlgebras.pdf
Freyd.pdf		Freyd.pdf
Freyd.tex		Freyd.tex
MonoCata.key		MonoCata.key
MonoCata.pdf		MonoCata.pdf
MonoCata.tex		MonoCata.tex
Oredev.pdf		Oredev.pdf
ProfunctorOptics-LambdaWorld2017.pdf		ProfunctorOptics-LambdaWorld2017.pdf
Profunctor_Optics_Topos.pdf		Profunctor_Optics_Topos.pdf
RecSchemes.pdf		RecSchemes.pdf
RecSchemes.tex		RecSchemes.tex
Representable.pdf		Representable.pdf
Representable.tex		Representable.tex
SKI.pdf		SKI.pdf
SKI.tex		SKI.tex
SolvingConstraintsWithMonads.pdf		SolvingConstraintsWithMonads.pdf
Traversals.pdf		Traversals.pdf
Traversals.tex		Traversals.tex
Universal.pdf		Universal.pdf
WeightedColimits.pdf		WeightedColimits.pdf
WeightedColimits.tex		WeightedColimits.tex
doubles.pdf		doubles.pdf
ieeeconf.cls		ieeeconf.cls