| | Logic and Computation (neu.edu) |
|
4 points by gone35 11 months ago | past
|
|
| | The Structure and Interpretation of the Computer Science Curriculum [pdf] (neu.edu) |
|
1 point by textread on Feb 20, 2023 | past
|
|
| | Lexical and Dynamic Scope (2019) (neu.edu) |
|
2 points by mooreds on June 3, 2022 | past
|
|
| | System V Application Binary Interface [pdf] (neu.edu) |
|
34 points by luu on Feb 17, 2022 | past | 8 comments
|
|
| | Visual and Interactive-Syntax Realized (VISr) for ClojureScript (An (neu.edu) |
|
2 points by todsacerdoti on Jan 18, 2022 | past
|
|
| | Visual and Interactive-Syntax Realized (VISr) for ClojureScript (and JavaScript) (neu.edu) |
|
2 points by LeifAndersen on Jan 14, 2022 | past
|
|
| | Towards Building a High-Performance, Scale-In Key-Value Storage System (2019) [pdf] (neu.edu) |
|
2 points by mpweiher on May 8, 2021 | past
|
|
| | Racket: Languages as Libraries (2011) [pdf] (neu.edu) |
|
2 points by tosh on April 11, 2021 | past
|
|
| | The Pragmatic Programmer Quick Reference Guide (1999) (neu.edu) |
|
1 point by tosh on April 11, 2021 | past
|
|
| | Evolving Ext4 for Shingled Disks [pdf] (neu.edu) |
|
3 points by luu on Feb 8, 2021 | past
|
|
| | Migratory Typing: Ten Years Later (2017) [pdf] (neu.edu) |
|
1 point by michaelsbradley on Dec 19, 2020 | past
|
|
| | Schizophrenia in Contemporary Mathematics [pdf] (neu.edu) |
|
2 points by primroot on Dec 15, 2020 | past
|
|
| | What Is Soft Typing? (neu.edu) |
|
2 points by azhenley on Aug 22, 2020 | past
|
|
| | What Is Soft Typing? (neu.edu) |
|
3 points by azhenley on Aug 20, 2020 | past
|
|
| | Creative Thinking (neu.edu) |
|
3 points by troughway on July 17, 2020 | past
|
|
| | Losing $35 – A Classic from 1997 (neu.edu) |
|
2 points by goranmoomin on June 14, 2020 | past
|
|
| | An unsolved design problem: False activations in smart speakers (neu.edu) |
|
2 points by whoisjuan on Feb 24, 2020 | past | 1 comment
|
|
| | Autoweapons (1987) (neu.edu) |
|
1 point by kick on Feb 20, 2020 | past
|
|
| | Dependent Type Systems as Macros [pdf] (neu.edu) |
|
17 points by EvgeniyZh on Feb 16, 2020 | past | 1 comment
|
|
| | Dependent type systems as macros (POPL 2020) (neu.edu) |
|
2 points by jedharris on Feb 16, 2020 | past | 1 comment
|
|
| | Creative Thinking (1952) (neu.edu) |
|
2 points by oumua_don17 on Feb 6, 2020 | past | 1 comment
|
|
| | The Typed Racket Optimizer vs. Transient (neu.edu) |
|
31 points by lelf on Jan 17, 2020 | past | 11 comments
|
|
| | The Typed Racket Optimizer vs. Transient (neu.edu) |
|
2 points by matt_d on Jan 15, 2020 | past
|
|
| | Type Systems as Macros [pdf] (neu.edu) |
|
3 points by goranmoomin on Dec 10, 2019 | past
|
|
| | Four Kinds of Scoping in R (neu.edu) |
|
2 points by matt_d on Sept 10, 2019 | past
|
|
| | Lexical and Dynamic Scope (neu.edu) |
|
1 point by matt_d on Sept 5, 2019 | past
|
|
| | Refinement-based approach to reasoning of optimized reactive systems (neu.edu) |
|
3 points by mrefj on Jan 4, 2019 | past | 1 comment
|
|
| | The Behavior of Gradual Types: A User Study (neu.edu) |
|
2 points by grawprog on Dec 11, 2018 | past | 1 comment
|
|
| | Show HN: Scheme Macros for Common Lisp (neu.edu) |
|
4 points by register on Dec 9, 2018 | past
|
|
| | Scheme Macros for Common Lisp (neu.edu) |
|
3 points by pmoriarty on Dec 9, 2018 | past
|
|
|
|
More |
