├── .travis.yml ├── An Introduction to Scala.html ├── An-Exhibition-of-PLs.html ├── Entertaining-Pointfree.pdf ├── IntroductionToDependentTypes.pdf ├── The-Overview-of-Lens.pdf ├── TheDevelopmentOfDependentTypes.pdf ├── Verification-in-Dafny.pdf ├── YonedaLemma.pdf ├── compiling-time-snake.pdf └── id_rsa.enc /.travis.yml: -------------------------------------------------------------------------------- 1 | script: 2 | - openssl aes-256-cbc -K $encrypted_74ff3ccf1e5e_key -iv $encrypted_74ff3ccf1e5e_iv -in id_rsa.enc -out id_rsa -d 3 | - mv id_rsa ~/.ssh 4 | - eval "$(ssh-agent -s)" 5 | - chmod 600 ~/.ssh/id_rsa 6 | - ssh-add ~/.ssh/id_rsa 7 | - echo "StrictHostKeyChecking no" > ~/.ssh/config 8 | - rm -rf .git* id_rsa* 9 | - rsync -r --delete-after --quiet . ubuntu@zju-lambda.tech:/home/ubuntu/static/slides 10 | 11 | -------------------------------------------------------------------------------- /An Introduction to Scala.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | An Introduction to Scala 7 | 608 | 609 | 610 | 611 |
612 |
613 |
614 | 615 |
616 |
617 |
618 |
619 |

Scala

620 |

A general-purpose programming language providing support for functional programming and a strong static type system.

621 |
622 |
623 |
624 |
625 | 638 |
639 |
640 | 653 |
654 |
655 | 676 |
677 |
678 | 696 |
697 |
698 | 713 |
714 |
715 | 729 |
730 |
731 | 746 |
747 |
748 | 761 |
762 |
763 | 780 |
781 |
782 | 796 |
797 |
798 | 810 |
811 |
812 | 824 |
825 |
826 | 838 |
839 |
840 | 857 |
858 |
859 | 867 |
868 |
869 | 881 |
882 |
883 | 901 |
902 |
903 | 922 |
923 |
924 | 934 |
935 |
936 | 948 |
949 |
950 | 968 |
969 |
970 | 982 |
983 |
984 | 997 |
998 |
999 | 1009 |
1010 |
1011 | 1021 |
1022 |
1023 | 1024 |
1025 | 1026 |
1027 | 1028 |
1029 | 1030 | 1031 | 1242 | 1243 | 1244 | -------------------------------------------------------------------------------- /An-Exhibition-of-PLs.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | An Exhibition of PLs 7 | 608 | 609 | 610 |
611 |
612 |
613 | 614 |
615 |
616 |
617 |
618 |

An Exhibition of PLs

619 |
620 |
621 |
622 |
623 | 628 |
629 |
630 | 642 |
643 |
644 | 649 |
650 |
651 | 670 |
671 |
672 | 692 |
693 |
694 | 711 |
712 |
713 | 728 |
729 |
730 | 746 |
747 |
748 | 763 |
764 |
765 | 783 |
784 |
785 | 804 |
805 |
806 | 824 |
825 |
826 | 846 |
847 |
848 | 856 |
857 |
858 | 863 |
864 |
865 | 875 |
876 |
877 | 882 |
883 |
884 | 898 |
899 |
900 | 905 |
906 |
907 | 925 |
926 |
927 | 932 |
933 |
934 | 943 |
944 |
945 | 950 |
951 |
952 | 965 |
966 |
967 | 972 |
973 |
974 | 985 |
986 |
987 | 992 |
993 |
994 | 1014 |
1015 |
1016 | 1029 |
1030 |
1031 | 1036 |
1037 |
1038 | 1054 |
1055 |
1056 | 1071 |
1072 |
1073 | 1090 |
1091 |
1092 | 1110 |
1111 |
1112 | 1126 |
1127 |
1128 | 1144 |
1145 |
1146 | 1160 |
1161 |
1162 | 1167 |
1168 |
1169 | 1181 |
1182 |
1183 | 1192 |
1193 |
1194 | 1199 |
1200 |
1201 | 1212 |
1213 |
1214 | 1225 |
1226 |
1227 | 1239 |
1240 |
1241 | 1250 |
1251 |
1252 | 1268 |
1269 |
1270 | 1275 |
1276 |
1277 | 1285 |
1286 |
1287 | 1299 |
1300 |
1301 | 1306 |
1307 |
1308 | 1317 |
1318 |
1319 | 1329 |
1330 |
1331 | 1341 |
1342 |
1343 | 1344 |
1345 | 1346 |
1347 | 1348 |
1349 | 1350 | 1351 | 1562 | 1563 | 1564 | -------------------------------------------------------------------------------- /Entertaining-Pointfree.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zju-lambda/slides/9248a9a4a8ea7d12b8e8543b58bc760e903dad97/Entertaining-Pointfree.pdf -------------------------------------------------------------------------------- /IntroductionToDependentTypes.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zju-lambda/slides/9248a9a4a8ea7d12b8e8543b58bc760e903dad97/IntroductionToDependentTypes.pdf -------------------------------------------------------------------------------- /The-Overview-of-Lens.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zju-lambda/slides/9248a9a4a8ea7d12b8e8543b58bc760e903dad97/The-Overview-of-Lens.pdf -------------------------------------------------------------------------------- /TheDevelopmentOfDependentTypes.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zju-lambda/slides/9248a9a4a8ea7d12b8e8543b58bc760e903dad97/TheDevelopmentOfDependentTypes.pdf -------------------------------------------------------------------------------- /Verification-in-Dafny.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zju-lambda/slides/9248a9a4a8ea7d12b8e8543b58bc760e903dad97/Verification-in-Dafny.pdf -------------------------------------------------------------------------------- /YonedaLemma.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zju-lambda/slides/9248a9a4a8ea7d12b8e8543b58bc760e903dad97/YonedaLemma.pdf -------------------------------------------------------------------------------- /compiling-time-snake.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zju-lambda/slides/9248a9a4a8ea7d12b8e8543b58bc760e903dad97/compiling-time-snake.pdf -------------------------------------------------------------------------------- /id_rsa.enc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zju-lambda/slides/9248a9a4a8ea7d12b8e8543b58bc760e903dad97/id_rsa.enc --------------------------------------------------------------------------------