Posts By: Carter T Schonwald
| Date | Post | Topic |
| 05/31/2008 | I think the core message of | Types Considered Harmful |
| 06/02/2008 | thats not really viewing it | Types Considered Harmful |
| 03/28/2008 | read the papers by cousot | Teaching oneself Abstract Interpretation ? |
| 03/17/2008 | it looks like you're trying | Higher-Order Programming without Closures? |
| 02/11/2008 | It doesn't seem to be really | Qis of the Future |
| 02/10/2008 | I've seen it on many a bookshelf | 10 Years of Purely Functional Data Structures |
| 07/19/2007 | look up SICM, the structure | Current "best books on FP"? |
| 05/14/2007 | hrm, i'd suggest checking | Expressing usage constraints within the language |
| 03/11/2007 | actually the use of tuples | Gilad Bracha on tuples |
| 12/06/2006 | umm, i think that you can | Typing a function which includes its axioms? |
| 11/01/2006 | i think there may be some | Type inference and union types |
| 08/30/2006 | thats sort of trivially | Implementing arrays |
| 08/06/2006 | have you looked at any of | Expressing the Type of a While Loop |
| 08/01/2006 | This sounds like an odd | Managing missing information through Condition Propagation |
| 08/02/2006 | How about you read the paper | Managing missing information through Condition Propagation |
| 07/24/2006 | I do agree that the price is | Cost of provably-correct code |
| 07/21/2006 | The first half of the paper | A type-correct, stack-safe, provably correct, expression compiler in Epigram |
| 07/21/2006 | A type-correct, stack-safe, provably correct, expression compiler in Epigram | A type-correct, stack-safe, provably correct, expression compiler in Epigram |
| 07/21/2006 | ooops, I was imprecise in | A type-correct, stack-safe, provably correct, expression compiler in Epigram |
| 07/21/2006 | I should point out that the | A type-correct, stack-safe, provably correct, expression compiler in Epigram |
| 07/22/2006 | actually, i think theres a | A type-correct, stack-safe, provably correct, expression compiler in Epigram |
| 08/02/2006 | I would think that seperate | A type-correct, stack-safe, provably correct, expression compiler in Epigram |
| 07/01/2006 | What really launched me into | Amusing question |
| 06/28/2006 | " * The new JIT essentially | PLT Scheme GC Technology |
| 06/24/2006 | Expressiveness | Rules for Developing Safety-Critical Code |
| 06/21/2006 | I'm sure other folks are in | What are the real benefits of FP? |
| 07/01/2006 | Alloy can not model PL semantics | Alloy - The Book |
| 07/02/2006 | Again, I strongly recommend | Alloy - The Book |
| 05/06/2006 | you should include a way of | Designing a Type Notation for a Stack Based Functional Language |
| 07/13/2006 | the scheduler I'd think. | A Language-Based Approach to Unifying Events and Threads |
| 03/12/2006 | I think it might be more | Scheme Language Steering Committee Report to the Community |
| 02/18/2006 | Judging by the slides, it | Gilad Is Right |
| 02/23/2006 | You're thinking of | Gilad Is Right |
| 07/18/2006 | But what if the abstractions | The Next Mainstream Programming Languages |
| 07/18/2006 | I'm not quite following | The Next Mainstream Programming Languages |
| 12/16/2005 | ummm, if they're different c | Countering Trusting Trust through Diverse Double-Compiling |
| 12/17/2005 | I think even more than that w | Djinn, a theorem prover in Haskell, for Haskell. |
| 09/16/2005 | I see a problem with this | Garbage Collection as a Lazy Algorithm |
| 09/22/2005 | I can see some straightforwar | Most Productive FP Lang? |
| 09/12/2005 | Look for the paper by Matthia | Haskell and creative freedom |
| 09/07/2005 | Combining Theorem Proving and Programming | Combining Theorem Proving and Programming |
| 09/07/2005 | the problem with constraint s | Apple: procedural -> OO -> AOP -> advanced procedural |
| 09/06/2005 | You are conflating compile time and run time | Yearning for a practical scheme |
| 08/29/2005 | Everyone's been implying this | Does Abstraction add Fuzziness? |
| 08/22/2005 | Thats more like an optimizati | Functional anti-memoization |
| 10/05/2005 | power of type theory and my current research | Invariants/Contracts vs. types |
| 08/09/2005 | Not a new idea | Expressivity |
| 08/11/2005 | For a formal look at expressivity of programming languages.. | Expressivity |
| 07/29/2005 | look at F sub | A question about subtypes inference |
| 07/28/2005 | check out regions | ML without GC |
| 07/25/2005 | wrong | Grady Booch: Software Engineering Grand Challenges |
| 06/30/2005 | Is this inspired by the Librarian in the Discworld book? | Ook? |
| 05/02/2005 | which would finally put an en | R6RS Scheme Status Report |
| 04/20/2005 | Is it just me, or does the ty | Qi 6.1 released |
| 04/17/2005 | Interestingly enough, I have | Chemistry, Graph Tranformation and Programming Languages |
| 04/11/2005 | But doesn't that rule out sta | Language Design 101 |
| 02/22/2005 | Why must games be the draw? | Don Box: Teaching my kids to program |
| 09/11/2005 | perhaps you mean structural S | Why type systems are interesting - part II |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |