Hacker News
Lobsters
- The Austral Programming Language https://austral-lang.org/ 5 comments plt , programming
Linking pages
- Introducing Austral: A Systems Language with Linear Types and Capabilities https://borretti.me/article/introducing-austral 151 comments
- Two Years of OCaml https://borretti.me/article/two-years-ocaml 79 comments
- How Austral’s Linear Type Checker Works https://borretti.me/article/how-australs-linear-type-checker-works 25 comments
- Type Systems for Memory Safety https://borretti.me/article/type-systems-memory-safety 23 comments
- GitHub - lambdaclass/austral.rs: An implementation of the Austral language compiler in Rust https://github.com/lambdaclass/austral.rs 8 comments
- Simplicity and Survival https://borretti.me/article/simplicity-and-survival 6 comments
- So Many New Systems Programming Languages II https://colinsblog.net/2023-03-22-systems-languages-details/ 2 comments
- Design of the Austral Compiler https://borretti.me/article/design-austral-compiler 1 comment
- Depth-First Procrastination https://borretti.me/article/depth-first-procrastination 1 comment
- GitHub - dckc/awesome-ocap: Awesome Object Capabilities and Capability Security https://github.com/dckc/awesome-ocap#readme 0 comments
- Dependency Resolution Made Simple https://borretti.me/article/dependency-resolution-made-simple 0 comments
- A Survey on Memory Management Approaches https://btmc.substack.com/p/a-survey-on-memory-management-approaches 0 comments
Linked pages
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:austral-lang.org
Search title: The Austral Programming Language
See how to search.