Hacker News
- A Universal Scripting Framework (1996) [ps] http://www.ccs.neu.edu/home/shivers/papers/ll.ps 10 comments
- Growing a Programmer http://www.ccs.neu.edu/home/matthias/Thoughts/Growing_a_Programmer.html 6 comments
Lobsters
- Abstracting Abstract Machines (2011) http://www.ccs.neu.edu/home/dvanhorn/pubs/vanhorn-might-cacm11.pdf 8 comments formalmethods , pdf , plt
- Growing a Programmer http://www.ccs.neu.edu/home/matthias/Thoughts/Growing_a_Programmer.html 3 comments culture , programming
- "Write Endurance in Flash Drives: Measurements and Analysis" by Simona Boboila and Peter Desnoyers, presented on 25 February 2010 at FAST '10, 8th USENIX Conference on File and Storage Technologies [PDF] http://www.ccs.neu.edu/home/pjd/papers/fast10-flash.pdf 9 comments programming
- Type Systems as Macros http://www.ccs.neu.edu/home/stchang/popl2017/ 4 comments haskell
- [BASH] Should a beginner learn it now or leave it for later? http://www.ccs.neu.edu/home/matthias/HtDP2e/Draft/index.html 13 comments learnprogramming
- How to Design Program, Second Edition http://www.ccs.neu.edu/home/matthias/htdp2e 33 comments programming
- A Theory of Hygienic Macros [pdf] http://www.ccs.neu.edu/home/dherman/research/papers/esop08-hygiene.pdf 4 comments programming
- Editing Lisp and Scheme files in vi http://www.ccs.neu.edu/home/dorai/scmindent/index.html 6 comments lisp
- Reagents: Expressing and Composing Fine-grained Concurrency http://www.ccs.neu.edu/home/turon/reagents.pdf 4 comments scala
- Do you suppose the camcorder viewfinders are the smallest fully encompassed CRT modules they make? I am looking to build an oddball project. http://www.ccs.neu.edu/home/bchafy/tiny/tinyterminal.html 31 comments electronics
- How to Design Classes (in Ruby, Python, Java or any OOP) http://www.ccs.neu.edu/home/matthias/htdc.html 17 comments programming
- Matthias Felleisen's PhD dissertation which introduced Lambda-CS-Calculus to reason algebraically about Imperative language constructs. http://www.ccs.neu.edu/scheme/pubs/dissertation-felleisen.pdf 18 comments programming
- Alms: a Programming Language with Practical Affine Types (written in Haskell) http://www.ccs.neu.edu/home/tov/pubs/alms/ 3 comments haskell
- A semantics for a language of Hygienic Macros [PDF] http://www.ccs.neu.edu/home/dherman/research/papers/dissertation.pdf 15 comments programming
- How to Design Programs, Second Edition (WiP) http://www.ccs.neu.edu/home/matthias/htdp2e/ 3 comments scheme
- Northeastern University Symposium in Honor of Mitchell Wand http://www.ccs.neu.edu/events/wand-symposium/ 6 comments scheme
- How to Design Programs http://www.ccs.neu.edu/home/matthias/htdp2e/index.html 42 comments programming
- DrACuLa: A programming environment for the ACL2 theorem prover in DrScheme http://www.ccs.neu.edu/home/cce/acl2/ 5 comments programming
- Matthias Felleisen on how to provide an easy way into programming http://www.ccs.neu.edu/home/matthias/essays/not-matter.html 16 comments programming
- Stylish Lisp programming techniques http://www.ccs.neu.edu/home/shivers/newstyle.html 6 comments programming
- Olin Shivers' Infamous Automatic Weapons Rant http://www.ccs.neu.edu/home/shivers/autoweapons.html 27 comments programming
- From Python to PLT Scheme http://www.ccs.neu.edu/scheme/pubs/scheme2003-ms.pdf 8 comments programming
- Programming in Schelog : Prolog Embedded into Scheme http://www.ccs.neu.edu/home/dorai/schelog/schelog.html#node_toc_start 8 comments programming
- Lambda, the Ultimate Label (Larceny Scheme's Twobit Compiler) http://www.ccs.neu.edu/home/will/twobit/ultimate.html 4 comments programming
- Nondeterminism in Scheme by way of McCarthy's angelic operator. http://www.ccs.neu.edu/home/dorai/t-y-scheme/t-y-scheme-z-h-16.html#node_chap_14 9 comments programming
- Matthias Felleisen: On the Expressive Power of Programming Languages (1991) [ps.gz] http://www.ccs.neu.edu/scheme/pubs/scp91-felleisen.ps.gz 3 comments programming
- POPL 2007: Preliminary Program http://www.ccs.neu.edu/home/dherman/popl2007.html 2 comments programming
- ScmObj: An Object System ( like CLOS ) for Scheme by Dorai Sitaram http://www.ccs.neu.edu/home/dorai/scmobj/scmobj.html 3 comments programming
Lambda the Ultimate
- Remora: An Array-Oriented Language with Static Rank Polymorphism http://www.ccs.neu.edu/home/shivers/papers/rank-polymorphism.pdf 45 comments LtU Forum
- Coordinated concurrent programming in Syndicate http://www.ccs.neu.edu/home/tonyg/marketplace/coordinated-concurrent-programming-in-syndicate-20160111-1409.pdf 1 comment Parallel/Distributed
- Resolving and Exploiting the k-CFA Paradox http://www.ccs.neu.edu/home/dvanhorn/pubs/might-smaragdakis-vanhorn-preprint09.pdf 1 comment Implementation , Theory
- A Functional I/O System (or Fun for Freshman Kids) http://www.ccs.neu.edu/scheme/pubs/icfp09-fffk.pdf 5 comments Teaching & Learning
- The Design and Implementation of Typed Scheme http://www.ccs.neu.edu/scheme/pubs/popl08-thf.pdf 32 comments Type Theory
- Laziness Without All the Hard Work http://www.ccs.neu.edu/scheme/pubs/fdpe05-bc.pdf 0 comments Functional , Teaching & Learning
- Functional Objects http://www.ccs.neu.edu/home/matthias/Presentations/ecoop2004.pdf 1 comment OOP
- Felleisen: From Patterns to Programming Languages http://www.ccs.neu.edu/home/matthias/Presentations/patterns.html 6 comments general
- proof that (call/cc (lambda (c) (0 (c 1)))) => 1 http://www.ccs.neu.edu/home/will/Personal/Nerdliness/callcc.txt 5 comments theory
- Automatically Restructuring Programs for the Web http://www.ccs.neu.edu/scheme/pubs/ase2001-gfkf.pdf 0 comments Software-Eng