Hacker News
- Whiley, a programming language with extended static checking http://whiley.org/about/overview/ 15 comments
Lobsters
- Whiley gets Rusty https://whileydave.com/2022/05/31/whiley-gets-rusty/ 13 comments compilers , rust
- Whiley is Ten Years Old https://whileydave.com/2020/09/01/whiley-is-ten-years-old/ 2 comments compilers , formalmethods , javascript , programming
- Whiley: A language with extended static type checking http://whiley.org/about/overview/ 3 comments compsci , programming
- Whiley, a language with statically checked pre and post conditions, releases its 0.6.1 version and portions implemented in Rust https://whiley.org/2022/06/27/whiley-v0.6.1-released/ 22 comments rust
- Type Checking in Whiley goes Both Ways! https://whileydave.com/2022/06/15/type-checking-in-whiley-goes-both-ways/ 12 comments programming
- Whiley gets a bit Rusty! https://whileydave.com/2022/05/31/whiley-gets-rusty/ 5 comments rust
- Verifying an Auction Contract in Whiley https://whileydave.com/2022/05/17/verifying-an-auction-contract-in-whiley/ 5 comments ethereum
- Verifying leftPad() in Whiley http://whiley.org/2018/04/23/verifying-leftpad-in-whiley/ 6 comments programming
- Verifying Bubble Sort in Whiley http://whiley.org/2017/12/19/verifying-bubble-sort-in-whiley/ 4 comments programming
- Whiley: a Programming Language with Extended Static Checking http://whiley.org/ 12 comments programming
- Reasoning about Properties in Whiley http://whiley.org/2017/03/28/property-syntax-in-whiley/ 5 comments compsci
- Yet another JVM language? Whiley takes a fresh approach http://www.javaworld.com/article/3137548/scripting-jvm-languages/yet-another-jvm-language-whiley-takes-a-fresh-approach.html 4 comments programming
- Whiley: A JVM language with extended static checking via an automated theorem prover http://whiley.org/about/overview/ 57 comments programming
- Whiley: an Open Source Programming Language with Extended Static Checking http://whiley.org/ 5 comments programming
- Whiley | Lifetimes in Whiley http://whiley.org/2016/05/28/reference-lifetimes-in-whiley/ 4 comments rust
- Whiley | Lifetimes in Whiley http://whiley.org/2016/05/28/reference-lifetimes-in-whiley/ 4 comments programming
- The Whiley Programming Language https://github.com/whiley/whileycompiler 15 comments programming
- A Story of Cast Expressions in Whiley http://whiley.org/2014/09/05/a-story-of-cast-expressions/ 5 comments programming
- Whiley v0.3.22 Released! http://whiley.org/2014/02/15/whiley-0-3-22-released/ 4 comments programming
- Proposed Syntax Changes for Whiley http://whiley.org/2013/12/19/proposed-syntax-changes-for-whiley/ 15 comments programming
- A nice overview of Whiley, showing how it's more than just another language [PDF] http://whiley.org/wp-content/uploads/2013/06/melbournejug.pdf 15 comments programming
- Understanding Loop Invariants in Whiley http://whiley.org/2013/01/29/understanding-loop-invariants-in-whiley/ 11 comments programming
- Generating Verification Conditions for Whiley http://whiley.org/2012/12/04/generating-verification-conditions-for-whiley/ 4 comments programming
- Flow Typing for References in Whiley http://whiley.org/2012/06/11/flow-typing-for-references-in-whiley/ 45 comments programming
- Variable Scoping for Try-Catch Blocks in Whiley http://whiley.org/2012/05/22/variable-scoping-for-try-catch-blocks-in-whiley/ 10 comments programming
- Writing a PNG Decoder in Whiley! http://whiley.org/2012/02/18/writing-a-png-decoder-in-whiley/ 4 comments programming
- Namespaces in Whiley http://whiley.org/2011/09/03/namespaces-in-whiley/ 8 comments programming
- Synchronous and Asynchronous Message-Sends in Whiley http://whiley.org/2011/05/16/actor-syntax-in-whiley/ 12 comments programming
- Indentation Syntax in Whiley http://whiley.org/2010/10/18/indentation-syntax-in-whiley/ 19 comments programming