| 1. | | Functional Reactive Programming (In Whiley) (youtu.be) |
| 3 points by redjamjar on Sept 26, 2020 | past |
|
| 2. | | Use package managers and dependency declarations? We need your help (qualtrics.com) |
| 3 points by redjamjar on Aug 13, 2018 | past |
|
| 3. | | Neat Demo of Software Verification (youtube.com) |
| 1 point by redjamjar on Aug 8, 2017 | past |
|
| 4. | | What's the Net effect on OOP? (whiley.org) |
| 2 points by redjamjar on June 21, 2017 | past |
|
| 5. | | Introductory Lecture on Verification in Whiley (whiley.org) |
| 1 point by redjamjar on Sept 22, 2015 | past |
|
| 6. | | The Architecture of Verification in Whiley (whiley.org) |
| 1 point by redjamjar on June 25, 2013 | past |
|
| 7. | | Presentation on Whiley [video] (whiley.org) |
| 1 point by redjamjar on June 19, 2013 | past |
|
| 8. | | VIDEO: Reconstructing 3D Scenes from a Camera [wait for the green car] (youtube.com) |
| 4 points by redjamjar on Feb 14, 2013 | past | 1 comment |
|
| 9. | | Understanding Loop Invariants in Whiley (whiley.org) |
| 1 point by redjamjar on Jan 28, 2013 | past |
|
| 10. | | Testing out my Papilio FPGA (whiley.org) |
| 2 points by redjamjar on Dec 19, 2012 | past |
|
| 11. | | Generating Verification Conditions for Whiley (whiley.org) |
| 1 point by redjamjar on Dec 4, 2012 | past |
|
| 12. | | Comparing I/O in C with Java (whiley.org) |
| 1 point by redjamjar on Nov 30, 2012 | past |
|
| 13. | | A Misconception of Functional Programming? (whiley.org) |
| 3 points by redjamjar on Sept 6, 2012 | past |
|
| 14. | | Notes on Java versus C++ Performance (whiley.org) |
| 2 points by redjamjar on Aug 12, 2012 | past |
|
| 15. | | The Liquid Metal Project (whiley.org) |
| 2 points by redjamjar on July 4, 2012 | past |
|
| 16. | | Flow Typing for References in Whiley (whiley.org) |
| 1 point by redjamjar on June 11, 2012 | past |
|
| 17. | | Writing a PNG Decoder in Whiley (whiley.org) |
| 1 point by redjamjar on Feb 18, 2012 | past |
|
| 18. | | Presentation on the Whiley Programming Language (video) (whiley.org) |
| 1 point by redjamjar on Dec 22, 2011 | past |
|
| 19. | | Not all Tests are Passing ... is that so Bad? (whiley.org) |
| 1 point by redjamjar on Nov 1, 2011 | past |
|
| 20. | | What Kind of Revert are You? (whiley.org) |
| 1 point by redjamjar on Oct 18, 2011 | past |
|
| 21. | | Design by Contract is Most Requested Feature? (whiley.org) |
| 1 point by redjamjar on June 16, 2011 | past |
|
| 22. | | Where's the JLS gone? (sun.com) |
| 1 point by redjamjar on June 14, 2011 | past |
|
| 23. | | Musing about Actors on the JVM (whiley.org) |
| 2 points by redjamjar on March 22, 2011 | past |
|
| 24. | | Implementing Structural Types (+code) (whiley.org) |
| 4 points by redjamjar on March 7, 2011 | past | 1 comment |
|
| 25. | | Why don't more languages use Structural Subtyping? (whiley.org) |
| 6 points by redjamjar on Dec 13, 2010 | past | 1 comment |
|
| 26. | | Implementing Actors on the JVM (whiley.org) |
| 3 points by redjamjar on Oct 24, 2010 | past |
|
| 27. | | Indentation Syntax in Whiley (whiley.org) |
| 2 points by redjamjar on Oct 17, 2010 | past |
|
| 28. | | Thoughts on the X10 Programming Language (whiley.org) |
| 2 points by redjamjar on Aug 5, 2010 | past | 1 comment |
|
