SlideShares tagged with type system
-
PPL 2022 招待講演： 静的型つき函数型組版処理システムSATySFiの紹介
PPL 2022 招待講演： 静的型つき函数型組版処理システムSATySFiの紹介Vor 2 Jahren, 3.809 Ansichten
Vor 2 Jahren, 3.809 Ansichten -
SATySFi 最近の発展と目下実装中の変更
SATySFi 最近の発展と目下実装中の変更Vor 2 Jahren, 553 Ansichten
Vor 2 Jahren, 553 Ansichten -
Comparing Haskell & Scala
Comparing Haskell & ScalaVor 2 Jahren, 122 Ansichten
Vor 2 Jahren, 122 Ansichten -
Refinement Types for Haskell
Refinement Types for HaskellVor 2 Jahren, 108 Ansichten
Vor 2 Jahren, 108 Ansichten -
静的型つき組版処理システムSATySFi: その後の発展と今後の課題 @第62回プログラミング・シンポジウム
静的型つき組版処理システムSATySFi: その後の発展と今後の課題 @第62回プログラミング・シンポジウムVor 3 Jahren, 1.164 Ansichten
Vor 3 Jahren, 1.164 Ansichten -
SATySFiのこれからの課題たち
SATySFiのこれからの課題たちVor 3 Jahren, 1.246 Ansichten
Vor 3 Jahren, 1.246 Ansichten -
Error handling
Error handlingVor 3 Jahren, 725 Ansichten
Vor 3 Jahren, 725 Ansichten -
多段階計算の型システムの基礎
多段階計算の型システムの基礎Vor 4 Jahren, 4.698 Ansichten
Vor 4 Jahren, 4.698 Ansichten -
Type Checking
Type CheckingVor 4 Jahren, 149 Ansichten
Vor 4 Jahren, 149 Ansichten -
静的型つき組版処理システムSATySFi @第61回プログラミング・シンポジウム
静的型つき組版処理システムSATySFi @第61回プログラミング・シンポジウムVor 4 Jahren, 2.204 Ansichten
Vor 4 Jahren, 2.204 Ansichten -
ラベルなしオプション引数の型システムと型推論
ラベルなしオプション引数の型システムと型推論Vor 4 Jahren, 356 Ansichten
Vor 4 Jahren, 356 Ansichten -
OCaml-MPST / Global Protocol Combinators
OCaml-MPST / Global Protocol CombinatorsVor 4 Jahren, 482 Ansichten
Vor 4 Jahren, 482 Ansichten -
Declarative Type System Specification with Statix
Declarative Type System Specification with StatixVor 5 Jahren, 744 Ansichten
Vor 5 Jahren, 744 Ansichten -
Type Systems
Type SystemsVor 5 Jahren, 512 Ansichten
Vor 5 Jahren, 512 Ansichten -
【LT】幽霊型の話 〜バグを防ぐテクニック〜
【LT】幽霊型の話 〜バグを防ぐテクニック〜Vor 5 Jahren, 142 Ansichten
Vor 5 Jahren, 142 Ansichten -
関数プログラマから見たPythonと機械学習
関数プログラマから見たPythonと機械学習Vor 6 Jahren, 31.364 Ansichten
Vor 6 Jahren, 31.364 Ansichten -
レコード計算の多相型システムと型推論
レコード計算の多相型システムと型推論Vor 6 Jahren, 2.369 Ansichten
Vor 6 Jahren, 2.369 Ansichten -
Florentin Picioroaga - C++ by choice
Florentin Picioroaga - C++ by choiceVor 7 Jahren, 153 Ansichten
Vor 7 Jahren, 153 Ansichten
