Posts By: yminsky
| Date | Post | Topic |
| 05/04/2012 | What are the mistakes? | Common Lisp: The Untold Story |
| 04/22/2012 | pattern matches are worth the syntactic cost | Quantitative comparison of unit testing vs. static typing? |
| 04/22/2012 | Pattern matching with option | Quantitative comparison of unit testing vs. static typing? |
| 04/06/2012 | Many ML type errors would not lead to exceptions | Quantitative comparison of unit testing vs. static typing? |
| 04/06/2012 | What about phantom types? | Quantitative comparison of unit testing vs. static typing? |
| 04/06/2012 | A new claim | Quantitative comparison of unit testing vs. static typing? |
| 04/11/2012 | Academic? | Quantitative comparison of unit testing vs. static typing? |
| 04/12/2012 | How far does it go? | Quantitative comparison of unit testing vs. static typing? |
| 04/14/2012 | Indeed! | Quantitative comparison of unit testing vs. static typing? |
| 02/09/2012 | Of workflows and monads | Effective Scala |
| 03/09/2011 | OCaml has a really fast compiler | Middle History of Logic Programming |
| 08/23/2010 | Destructive Signatures | Ocaml 3.12 released |
| 08/03/2010 | CUFP 2010 | CUFP 2010 |
| 07/10/2010 | How does this differ from using phantom types? | The Rust Language |
| 05/22/2010 | Functional Programming at Jane Street | Functional Programming at Jane Street |
| 02/14/2010 | inadequate tools | A few billion lines of code later: using static analysis to find bugs in the real world |
| 10/10/2009 | too much recursion | Haskell in the real world: writing a commercial program in Haskell |
| 10/10/2009 | A better reference | Haskell in the real world: writing a commercial program in Haskell |
| 08/11/2009 | Jane Street | Seeking examples of programming language knowledge has helped students, companies, etc. |
| 02/02/2009 | Jane Street Summer Project ཅ | Jane Street Summer Project ཅ |
| 01/10/2009 | Functional Programming jobs at Jane Street | Functional Programming jobs at Jane Street |
| 01/09/2009 | Job board on LtU? | Job board on LtU? |
| 01/10/2009 | Great! | Job board on LtU? |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |