Hacker News
- Whiley, a programming language with extended static checking http://whiley.org/about/overview/ 15 comments
Lobsters
- Whiley: A language with extended static type checking http://whiley.org/about/overview/ 3 comments compsci , programming
- Whiley: A JVM language with extended static checking via an automated theorem prover http://whiley.org/about/overview/ 57 comments programming
Linking pages
- type-systems/refined_types at master · tomprimozic/type-systems · GitHub https://github.com/tomprimozic/type-systems/tree/master/refined_types 31 comments
- 20 Coolest Features of Non-Java JVM Languages - DEV Community https://dev.to/awwsmm/20-coolest-features-of-non-java-jvm-languages-2p4h 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:whiley.org
Search title: Whiley, a programming language with extended static checking
See how to search.