[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

View post   
File: 140 KB, 496x472, Robert_Harper.jpg [View same] [iqdb] [saucenao] [google]
15471647 No.15471647 [Reply] [Original]

Harper is too hard for me (notation abuse and little explanation) what else 4chan can recommend to study plt (video or uni courses is acceptable)

>> No.15471657

CMU's 15-312 is pretty good speaking from experience, there are a lot of resources from that course available online

https://www.cs.cmu.edu/~fp/courses/15312-f04/index.html

>> No.15471871

>>15471647
What level are you looking at, and anything specific like type theory?

>> No.15472919

>>15471871
goal is to understand PLDI or ECOOP papers, i know basic discrete math (functions, relations, graphs...), also listened to computation theory course where we discussed different models of computation including lambda calculus but touched type theory very briefly. I hope goal is not too vague

>> No.15472943

>>15471657
isn't it another version of Harper class? nevertheless will have a look at it, thx

>> No.15472955

>>15471647
>>>/g/

>> No.15473038

>>15472955
>>93757027
deadlocked