Hacker News
- Codd’s Relational Model (1970) [pdf] https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf 3 comments
- A Relational Model of Data for Large Shared Data Banks (1970) [pdf] https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf 20 comments
- Unsafe Haskell (2015) http://www.seas.upenn.edu/~cis194/spring15/lectures/12-unsafe.html 13 comments
- Fundamentals of Linear Algebra and Optimization [pdf] http://www.seas.upenn.edu/~cis515/linalg.pdf 59 comments
- A Relational Model of Data for Large Shared Data Banks by E.F. Codd (1970) [pdf] https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf 13 comments
- Boomerang: A bidirectional programming language for ad-hoc data http://www.seas.upenn.edu/~harmony/ 7 comments
- Boomerang: A bidirectional programming language for ad-hoc data http://www.seas.upenn.edu/~harmony/ 11 comments
- UPenn Internet and Web Systems Course (CIS455/555) http://www.seas.upenn.edu/~zives/cis555/ 2 comments
- Nice explanation for students of the IO type. Involving cake :) https://www.seas.upenn.edu/~cis194/fall16/lectures/06-io-and-monads.html 11 comments haskell
- Does using type classes mean balancing trade-off between readability and reusability? https://www.seas.upenn.edu/~cis194/fall16/ 19 comments haskell
- Upenn: Rust Programming Course this Fall! https://www.seas.upenn.edu/~cis198/ 16 comments rust
- Correspondence of Linear Logic & Geometric Algebra (2000) http://www.seas.upenn.edu/~sweirich/types/archive/1999-2003/msg00520.html 6 comments haskell
- Correspondence of Linear Logic & Geometric Algebra http://www.seas.upenn.edu/~sweirich/types/archive/1999-2003/msg00520.html 9 comments math
- A Specification for Dependently-typed Haskell (PDF) http://www.seas.upenn.edu/~sweirich/papers/systemd-submission.pdf 21 comments haskell
- A not so famous course on Haskell. It's well written and is interesting. http://www.seas.upenn.edu/~cis194/fall16/ 15 comments haskell
- Problem with a homework question (not actually a student there) Problem with exercise 6 http://www.seas.upenn.edu/~cis194/hw/02-lists.pdf 3 comments haskell
- Emulating Haskell's Maybe with Java's Optional type http://www.seas.upenn.edu/~cis194/fall14/lectures/14-java.html 15 comments programming
- SPJ on Generalised Algebraic Data Types http://www.seas.upenn.edu/~sweirich/talks/gadt.pdf 9 comments haskell
- Compile time meta-programming for strongly typed languages in a less ambitious but more controlled way (ICFP submissions) http://www.seas.upenn.edu/~hongboz/main.pdf 3 comments haskell
- UPenn CIS 194: Intro to Haskell, Instructor: Brent Yorgey http://www.seas.upenn.edu/~cis194/lectures.html 4 comments haskell
- roshask - Stream-oriented Robotics Programming http://www.seas.upenn.edu/~acowley/papers/roshask.pdf 10 comments haskell
- Big ideas in Computer Science and Engineering http://www.seas.upenn.edu/~andre/general/computer_science.html 5 comments compsci
- A great course on software foundations and Coq http://www.seas.upenn.edu/~cis500/current/index.html 15 comments programming
- Implementation of efficient, lightweight concurrency. It seems to work around the old GHC IO manager. How does it relate to the new? Is this lightweight approach comparably efficient? http://www.seas.upenn.edu/~lipeng/homepage/unify.html 5 comments haskell
- A bidirectional programming language for ad-hoc, textual data. http://www.seas.upenn.edu/~harmony/ 4 comments haskell
- Harmony (Followup to Benjamin C. Pierce's Unison File Synchronizer) http://www.seas.upenn.edu/~harmony/? 4 comments programming
- Unifying events and threads for massively concurrent Haskell (pdf) http://www.seas.upenn.edu/~lipeng/homepage/unify.html 2 comments programming
- Are Formal Methods Worth the effort? pdf http://www.seas.upenn.edu/~sweirich/wmm/03-benton.pdf 15 comments programming
Lambda the Ultimate
- CRA-W/CDC and SIGPLAN Programming Languages Mentoring Workshop http://www.seas.upenn.edu/~sweirich/plmw12/ 0 comments Teaching & Learning
- Actors that Unify Threads and Events http://www.seas.upenn.edu/~lipeng/homepage/papers/lz06report.pdf 6 comments Parallel/Distributed
- Machine Obstructed Proof http://www.seas.upenn.edu/~sweirich/wmm/03-benton.pdf 17 comments Critiques