文件名称:Publications:杂项出版物,会议幻灯片等。有关更多信息,请访问http
文件大小:6.89MB
文件格式:ZIP
更新时间:2024-04-19 02:04:40
TeX
Publications:杂项出版物,会议幻灯片等。有关更多信息,请访问http
【文件预览】:
Publications-master
----Algebras2.tex(23KB)
----Algebras2.pdf(162KB)
----Filtered.pdf(183KB)
----Fibrations.pdf(229KB)
----Abstract.pdf(39KB)
----TheDaoOfFP()
--------2-Composition.pdf(143KB)
--------1-CleanSlate.pdf(164KB)
--------5-ProductTypes.pdf(196KB)
--------3-Isomorphism.pdf(174KB)
--------7-Recursion.pdf(186KB)
--------4-SumTypes.pdf(225KB)
--------6-FunctionTypes.pdf(208KB)
----MonoCata.pdf(180KB)
----SKI.tex(6KB)
----Traversals.pdf(212KB)
----Algebras3.pdf(157KB)
----SKI.pdf(94KB)
----Diagonal.pdf(209KB)
----Traversals.tex(37KB)
----SolvingConstraintsWithMonads.pdf(635KB)
----Universal.pdf(164KB)
----doubles.pdf(154KB)
----WeightedColimits.tex(12KB)
----CrashCourse.key(1.48MB)
----BartoszHaskellLove.pdf(166KB)
----ProfunctorOptics-LambdaWorld2017.pdf(127KB)
----Representable.tex(9KB)
----Freyd.tex(25KB)
----Abstract.tex(2KB)
----Freyd.pdf(173KB)
----WeightedColimits.pdf(146KB)
----AlgebrasNotes.tex(5KB)
----AlgebrasNotes.pdf(123KB)
----.gitignore(60B)
----CrashCourse ScalaIO.pdf(184KB)
----MonoCata.key(779KB)
----Algebras1.pdf(178KB)
----Oredev.pdf(199KB)
----Algebras3.tex(18KB)
----BladeRunner.jpeg(6KB)
----MonoCata.tex(11KB)
----Representable.pdf(149KB)
----Algebras1.tex(14KB)
----FreeMonoidsInitialAlgebras.pdf(273KB)