WEIRICH Stephanie について
Univ. Pennsylvania, PA, USA について
HSU Justin について
Univ. Pennsylvania, PA, USA について
EISENBERG Richard A. について
Univ. Pennsylvania, PA, USA について
ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages) について
プログラム理論 について
関数型言語 について
関数プログラミング について
等価性 について
型 について
Haskell について
依存タイプ について
型システム【プログラミング言語】 について
同等性 について
計算理論 について
同等性 について