Posts By: Josh Stern
| Date | Post | Topic |
| 04/21/2012 | R and Matlab | Why and How People Use R |
| 04/25/2012 | Luke Tierney, the main | Why and How People Use R |
| 04/25/2012 | Sorry for the mis-threading | Why and How People Use R |
| 03/04/2012 | I'm not finding the "debate" | Informed dissent: William Cook contra Bob Harper on OOP |
| 03/05/2012 | Coding in most imperative | Informed dissent: William Cook contra Bob Harper on OOP |
| 03/05/2012 | I'm not familiar with | Informed dissent: William Cook contra Bob Harper on OOP |
| 03/05/2012 | Thanks for the reference. | Informed dissent: William Cook contra Bob Harper on OOP |
| 03/05/2012 | You mean C++ is an OOPL but | Informed dissent: William Cook contra Bob Harper on OOP |
| 03/06/2012 | I was thinking about D. D | Informed dissent: William Cook contra Bob Harper on OOP |
| 02/23/2012 | The PL context would be generic programming | A Concept Design for C++ |
| 01/31/2012 | One often sees undefined | Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations |
| 02/02/2012 | I'm apparently not reading | Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations |
| 01/19/2012 | Adobe PDF is one standard | Graphics primitives? |
| 01/20/2012 | As for PDF/PostScript, it | Graphics primitives? |
| 01/22/2012 | The output that people see | Graphics primitives? |
| 09/04/2011 | What is convincing? | the gnu extension language |
| 07/01/2011 | Language as a useful artifact | Why Programming Languages? |
| 07/03/2011 | Aspect oriented programming | Why Programming Languages? |
| 12/25/2010 | I've thought about this | Type systems for structured languages |
| 11/29/2010 | This sounds like interesting | Yacc is dead |
| 11/29/2010 | In fact it can't be any more | Yacc is dead |
| 11/29/2010 | I mentioned that one | Yacc is dead |
| 11/25/2010 | Philosphy stuff | Inconsistency Robustness 2011 at Stanford |
| 11/26/2010 | I read the call, and I | Inconsistency Robustness 2011 at Stanford |
| 11/18/2010 | Survey I would like to see | A Preliminary Survey on Functional Programming |
| 11/19/2010 | Any version would be | A Preliminary Survey on Functional Programming |
| 11/20/2010 | Design of a survey, | A Preliminary Survey on Functional Programming |
| 11/20/2010 | I don't see call by name as | A Preliminary Survey on Functional Programming |
| 10/16/2010 | Good Libraries, source level | The barrier to take-up of language innovation |
| 10/12/2010 | What do you consider to be | The barrier to take-up of language innovation |
| 10/12/2010 | Tail calls is one | The barrier to take-up of language innovation |
| 10/12/2010 | Thanks for the link | The barrier to take-up of language innovation |
| 10/16/2010 | C++ destructors are LIFO by | The barrier to take-up of language innovation |
| 10/16/2010 | Modern C++ compilers give | The barrier to take-up of language innovation |
| 10/16/2010 | "I am not so much concerned | The barrier to take-up of language innovation |
| 10/13/2010 | The D language has some | The barrier to take-up of language innovation |
| 10/16/2010 | C++ has dependent types | The barrier to take-up of language innovation |
| 10/16/2010 | Template arguments can be | The barrier to take-up of language innovation |
| 10/16/2010 | I don't agree, but I'm not | The barrier to take-up of language innovation |
| 10/16/2010 | The important points are | The barrier to take-up of language innovation |
| 10/17/2010 | Ok. Well C++ is a | The barrier to take-up of language innovation |
| 10/17/2010 | It is possible in C++ to | The barrier to take-up of language innovation |
| 10/18/2010 | If *all* the properties of a | The barrier to take-up of language innovation |
| 10/18/2010 | True, sort of. Template | The barrier to take-up of language innovation |
| 10/18/2010 | The examples I've seen held | The barrier to take-up of language innovation |
| 08/01/2010 | Haskell's module system | Overlapping Instances + Functional Dependencies Unsound? |
| 06/04/2010 | I took "algebraic | Algebraic |
| 06/01/2010 | Higher order logics can | Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic |
| 05/11/2010 | I had never heard of | "Critical code studies" |
| 05/15/2010 | When theorists describe a | "Critical code studies" |
| 05/16/2010 | I'm not sure Mark | "Critical code studies" |
| 05/15/2010 | You can find this "more | "Critical code studies" |
| 05/08/2010 | Hackers buy books | Code Quarterly - The Hackademic Journal |
| 05/04/2010 | Semantics | Guppy: trying to make parsing simple, fun, and powerful |
| 05/05/2010 | Backtracking and termination | Guppy: trying to make parsing simple, fun, and powerful |
| 05/05/2010 | Guppy: trying to make parsing simple, fun, and powerful | Guppy: trying to make parsing simple, fun, and powerful |
| 04/26/2010 | Authorization is almost | Capability-based security; how does it work? |
| 04/26/2010 | Public key crytography | Capability-based security; how does it work? |
| 04/26/2010 | Public key doesn't work like that | Capability-based security; how does it work? |
| 04/27/2010 | Revoking keys, finding "owners" | Capability-based security; how does it work? |
| 04/28/2010 | Distinctions | Capability-based security; how does it work? |
| 04/29/2010 | Back to basics | Capability-based security; how does it work? |
| 04/30/2010 | OS level vs others levels of analysis | Capability-based security; how does it work? |
| 05/01/2010 | misc | Capability-based security; how does it work? |
| 05/01/2010 | Various follow ups | Capability-based security; how does it work? |
| 04/23/2010 | Implementation | VMKit: a Substrate for Managed Runtime Environments, VEE ཆ |
| 04/26/2010 | My post above was just | VMKit: a Substrate for Managed Runtime Environments, VEE ཆ |
| 04/24/2010 | Hard to learn | Seeking thoughtful criticisms of functional programming and languages |
| 04/17/2010 | More details | seL4: Formal Verification of an Operating-System Kernel |
| 04/18/2010 | Sub-topic mirrors the thread | How can C Programs be so Reliable? |
| 04/07/2010 | Proof checking vs. finding | Specifying Solvers? |
| 04/14/2010 | Clarifications | Specifying Solvers? |
| 03/26/2010 | I'm sure I disagree... | Will data-intensive computing revolutionize programming languages? |
| 03/30/2010 | More explanation | Will data-intensive computing revolutionize programming languages? |
| 03/30/2010 | You're not clear | Will data-intensive computing revolutionize programming languages? |
| 03/26/2010 | Progress | Will data-intensive computing revolutionize programming languages? |
| 03/26/2010 | Dimensions of exploration | Will data-intensive computing revolutionize programming languages? |
| 03/26/2010 | Technical problems | Will data-intensive computing revolutionize programming languages? |
| 03/26/2010 | Digital re-use | Will data-intensive computing revolutionize programming languages? |
| 03/27/2010 | Depends on the annotation system | Will data-intensive computing revolutionize programming languages? |
| 03/27/2010 | Theoretical vs. Applied Math | Will data-intensive computing revolutionize programming languages? |
| 03/27/2010 | Dueling subjective judgments | Will data-intensive computing revolutionize programming languages? |
| 06/17/2010 | There may be a small penalty | On the (Alleged) Value of Proof for Assurance |
| 06/18/2010 | For the dynamic runtime, my | On the (Alleged) Value of Proof for Assurance |
| 06/17/2010 | Most people's dense natural | On the (Alleged) Value of Proof for Assurance |
| 03/01/2010 | Why so few fans of effect typing? | Advantages of Purity |
| 02/27/2010 | Redundancy | large-scale programming systems inspired by ecological and market systems |
| 02/24/2010 | Programming tool theory | plt vs. something else for programming in the large? |
| 02/16/2010 | Build Extraction Tool | A few billion lines of code later: using static analysis to find bugs in the real world |
| 02/03/2010 | A link to the memory allocation part | Course focusing on JIT compilers? |
| 02/01/2010 | C++ Templates have lazy compile time expansion | more consistent macros? |
| 01/05/2010 | Unix targets | wondering why C is the language of compilers- when a Scheme subset would seem to be a better fit? |
| 01/05/2010 | Portable ABI infrastructure never developed | wondering why C is the language of compilers- when a Scheme subset would seem to be a better fit? |
| 12/24/2009 | Tracking Changes/Popularity | Ward's Wiki |
| 12/22/2009 | Josh Stern | Unfulfilled Promises of Software Technologies? (!) |
| 02/11/2010 | NLP technology | Information regarding financial crisis |
| 02/11/2010 | Issues of scale | Information regarding financial crisis |
| 11/10/2010 | Parsimony | expressivity of "idiomatic C++" |
| 11/18/2009 | Anyone using this? | The Memory Pool System: Thirty person-years of memory management development goes Open Source |
| 01/16/2012 | Best features for embedded Prolog influenced module? | Embedding Prolog in Haskell |
| 01/16/2012 | Included in "Prolog influenced" | Embedding Prolog in Haskell |
| 01/17/2012 | When you say "these are the | Embedding Prolog in Haskell |
| 01/17/2012 | You will always need some | Embedding Prolog in Haskell |
| 01/17/2012 | Namespaces are important in | Embedding Prolog in Haskell |
| 01/17/2012 | The naming issues may be | Embedding Prolog in Haskell |
| 01/18/2012 | 1)Since you are talking of | Embedding Prolog in Haskell |
| 01/19/2012 | We've gotten really focused | Embedding Prolog in Haskell |
| 01/24/2012 | Interesting. I would | Embedding Prolog in Haskell |
| 01/26/2012 | Sketching an example of what | Embedding Prolog in Haskell |
| 01/26/2012 | The SOCI approach is | Embedding Prolog in Haskell |
| 01/27/2012 | When I wrote "use case" I | Embedding Prolog in Haskell |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |