steshaw / plt Goto Github PK

I would comment which if it were just one or two but there are numerous broken links, even links to your own github repos (the subtopics on recursion schemas).

I would like to ask the team keeper for finding out the best debugs tools of testing css file, at best based on anyone of java, c or php language.

forgive my poor english grammar.
Thanks. yaoguang,

https://plato.stanford.edu/index.html

steshaw.org is not accessible right now.

principle of program analysis
https://cs.au.dk/~amoeller/spa/spa.pdf

In terms of compiler construction books, Compilers: Principles, Techniques, and Tools should definitely be included. It's a definitive classic in the area.

https://en.wikipedia.org/wiki/Compilers:_Principles,_Techniques,_and_Tools

I will be better if a license is specified for the repository

David Evans Great Works in Computer Science cs6501 Spring 2013.

Couldn't find it on the wayback machine either, but here's another link that seems to work for now: http://www.mtm.ufsc.br/~ebatista/2016-2/maclanecat.pdf

(happy to raise a PR if you're still maintaining this)

I wanted to submit PR for the broken link. But I couldn't because I've never seen the contents of the broken link.

Can anyone fix the link?

The link to Bird and Wadler - Introduction to Functional Programming, 1st Edition - Bird and Wadler return a 404 error.

It seems more like a long and very aspirational list.

miniKanren seems to be a primer for embedded logic programming. Please add this in Other collection. Your PLT repo is my lifetime learning list goal! Awesome work you did there!

The link text on http://steshaw.org/plt/ gets rendered really slim and is hard to read in Chrome and IE . It is fine in Firefox.

Chrome (v43.0.2357.130 m):

Internet Explorer (11.0.9600.17842):

Firefox (v37.0.2):

I gave the wrong url in my first comment. Here's the one you linked to. https://plato.stanford.edu/entries/type-theory/
And here is the original one that I meant to post https://plato.stanford.edu/entries/lambda-calculus/

I think Effect is a nontrivial part of PL, and should be added.

The essence of algol, monads for functional programming, lambda the ultimate goto/assignment/imperative, dijkstra monad, lightweight monadic programming in ML, lazy functional state thread, denotational semantic (with effect)...

Somewhat related: should there also be imperative programming/axiomatic semantic paper/book? The craft of programming/A discipline of programming is both quite nice.

Disclaimer: I haven't read the algebra book you have listed on the repository (although I have a hard copy of one) and as a PL enthusiast I'm planning to read an algebra book soon once I complete the Velleman's book.

That being said I feel both the currently listed books are quite heavy. Maybe a much simpler book should be listed there ? And I'm not the only one feeling that. There was someone else on HN feeling the same: https://news.ycombinator.com/item?id=9760832

I personally don't feel someone can directly jump from Velleman's book to Advanced Modern Algebra. This "top to bottom" may not work. Also, would like to hear your opinion on this ? Did you go directly go to Joseph's Modern Algebra from Velleman's book ?