| | Linear Temporal Logic (LTL) Tutor (brownplt.org) |
|
6 points by matt_d 4 months ago | past
|
|
| | Differential Analysis: A Summary (brownplt.org) |
|
2 points by thunderbong 5 months ago | past
|
|
| | Differential Analysis: A Summary (brownplt.org) |
|
2 points by todsacerdoti 5 months ago | past
|
|
| | Examplar: A better way to teach programming (make students make the examples) (brownplt.org) |
|
1 point by OmarShehata 6 months ago | past | 1 comment
|
|
| | Forge: A Tool to Teach Formal Methods (brownplt.org) |
|
7 points by __rito__ 8 months ago | past
|
|
| | Forge: A Tool to Teach Formal Methods (brownplt.org) |
|
21 points by todsacerdoti 8 months ago | past | 1 comment
|
|
| | Finding and Fixing Standard Misconceptions About Program Behavior (brownplt.org) |
|
1 point by MaysonL 8 months ago | past
|
|
| | Finding and fixing standard misconceptions about program behavior (brownplt.org) |
|
77 points by vector_spaces 8 months ago | past | 21 comments
|
|
| | Mystery Languages (2018) (brownplt.org) |
|
3 points by nairboon 9 months ago | past
|
|
| | Profiling Programming Language Learning (brownplt.org) |
|
2 points by matt_d 10 months ago | past
|
|
| | The Examplar Project: A Summary (brownplt.org) |
|
1 point by matt_d 11 months ago | past
|
|
| | A Core Calculus for Documents (brownplt.org) |
|
3 points by azhenley 11 months ago | past | 1 comment
|
|
| | Generating Programs Trivially: Student Use of Large Language Models (brownplt.org) |
|
1 point by hackandthink on Oct 22, 2023 | past
|
|
| | A Grounded Conceptual Model for Ownership Types in Rust (brownplt.org) |
|
3 points by carapace on Sept 18, 2023 | past
|
|
| | What happens when students switch (functional) languages? (brownplt.org) |
|
2 points by azhenley on July 24, 2023 | past
|
|
| | Picking Colors for Pyret Error Messages (2018) (brownplt.org) |
|
1 point by 082349872349872 on July 17, 2023 | past
|
|
| | What happens when students switch (functional) languages (brownplt.org) |
|
2 points by azhenley on July 17, 2023 | past
|
|
| | Teaching and Assessing Property-Based Testing (brownplt.org) |
|
1 point by optbuild on June 6, 2023 | past
|
|
| | Typed-Untyped Interactions: A Comparative Analysis (brownplt.org) |
|
1 point by matt_d on Feb 8, 2023 | past
|
|
| | Performance Preconceptions (brownplt.org) |
|
3 points by matt_d on Oct 11, 2022 | past
|
|
| | Structural versus Pipeline Composition of Higher-Order Functions (brownplt.org) |
|
1 point by matt_d on Aug 17, 2022 | past
|
|
| | Plan Composition Using Higher-Order Functions (brownplt.org) |
|
14 points by azhenley on July 10, 2022 | past | 6 comments
|
|
| | Towards a Notional Machine for Runtime Stacks and Scope (brownplt.org) |
|
2 points by azhenley on July 7, 2022 | past
|
|
| | Gradual Soundness: Lessons from static Python (brownplt.org) |
|
15 points by azhenley on June 30, 2022 | past | 1 comment
|
|
| | Gradual Soundness: Lessons from Static Python (brownplt.org) |
|
2 points by matt_d on June 29, 2022 | past
|
|
| | Types for Tables: A Language Design Benchmark (brownplt.org) |
|
63 points by matt_d on Dec 10, 2021 | past | 13 comments
|
|
| | Types for Tables: A Language Design Benchmark (brownplt.org) |
|
3 points by matt_d on Nov 22, 2021 | past
|
|
| | Picking Colors for Pyret Error Messages (brownplt.org) |
|
2 points by todsacerdoti on Oct 23, 2021 | past
|
|
| | Developing Behavioral Concepts of Higher-Order Functions (brownplt.org) |
|
1 point by azhenley on July 31, 2021 | past
|
|
| | Teaching and Assessing Property-Based Testing (brownplt.org) |
|
43 points by luu on Jan 11, 2021 | past | 3 comments
|
|
|
|
More |
