Posts By: vrijz
| Date | Post | Topic |
| 06/07/2012 | select ~~ fmap | Graphical languages of the Russian space program |
| 06/08/2012 | Flowcharts | Graphical languages of the Russian space program |
| 05/15/2012 | C-zar | Proofs as programs |
| 02/01/2012 | OOP vs. Functional | Evolution of mainstream programming language paradigms |
| 09/26/2011 | Not considered in this paper | Metaphors we Program By: Space, Action and Society in Java |
| 09/15/2011 | Good question | What needs to be done? |
| 05/18/2011 | Swierstra's Hoare State Monad? | Kleisli Arrows of Outrageous Fortune |
| 04/13/2011 | The language is apparently | Redhat's New Language |
| 03/19/2011 | Bob Harper of CMU is blogging about programming languages and introductory CS education | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 12/25/2010 | Agda 1/Alfa | Type systems for structured languages |
| 11/16/2010 | Natural language feedback | The Free-Form Linguistics Revolution in Mathematica |
| 10/29/2010 | dataflow for VLIW? | New Dataflow Programming Language |
| 09/17/2010 | Re: new dataflow PL for the "average prorammer" | New Dataflow Programming Language |
| 09/17/2010 | Kludgy notation: a case in point? | New Dataflow Programming Language |
| 09/26/2010 | Structured vs. visual dataflow? | New Dataflow Programming Language |
| 07/16/2010 | actually benefit from a tool like AppInventor | App Inventor: Programming for non-programmers... again |
| 06/26/2010 | Intentional SW | Xtext: An IDE on the cheap |
| 06/28/2010 | text vs. form editing | Xtext: An IDE on the cheap |
| 06/25/2010 | untyped lambda-calculus, | Why Undergraduates Should Learn the Principles of Programming Languages |
| 06/26/2010 | Not resistance | Why Undergraduates Should Learn the Principles of Programming Languages |
| 05/11/2010 | Seconded | "Critical code studies" |
| 05/15/2010 | aside: natural language and PLT | "Critical code studies" |
| 05/15/2010 | I don't think "joke" is the right word here | "Critical code studies" |
| 05/14/2010 | Power structures and authority in PLT | "Critical code studies" |
| 05/20/2010 | avoid thinking of making a | Seeking thoughtful criticisms of functional programming and languages |
| 06/22/2010 | objective topics | seL4: Formal Verification of an Operating-System Kernel |
| 04/10/2010 | Linux can run, if you want it to | iPhone PL lockdown |
| 04/05/2010 | UML? | A Formal System For Euclid's Elements |
| 04/05/2010 | formal reasoning in VPLs | A Formal System For Euclid's Elements |
| 04/06/2010 | I should look for a warm and friendly | A Formal System For Euclid's Elements |
| 03/17/2010 | Z notation | On the (Alleged) Value of Proof for Assurance |
| 05/12/2010 | CompCert | On the (Alleged) Value of Proof for Assurance |
| 05/08/2010 | Very interesting point: | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | The reason for this | On the (Alleged) Value of Proof for Assurance |
| 03/22/2010 | Curry-Howard? | On the (Alleged) Value of Proof for Assurance |
| 03/09/2010 | Revision control for optimizations | Have tracing JIT compilers won? |
| 03/07/2010 | Sigils | Alternative method for defining statically typed variables |
| 03/11/2010 | Auditability? | functional equivalance? |
| 03/10/2010 | Dynamic linking | functional equivalance? |
| 03/17/2010 | The entire section about "fold" here is irrelevant | functional equivalance? |
| 03/10/2010 | Equality reasoning vs. coinduction | functional equivalance? |
| 02/26/2010 | Functional flow diagrams | Can a Biologist Fix a Radio? |
| 03/02/2010 | Karl Fant's textbook | Can a Biologist Fix a Radio? |
| 03/03/2010 | Visual programming languages | Can a Biologist Fix a Radio? |
| 03/06/2010 | Refinement types | plt vs. something else for programming in the large? |
| 02/23/2010 | Dependent records as type clases? | Objects to Unify Type Classes and GADTs |
| 02/13/2010 | Safety v. convenience | A few billion lines of code later: using static analysis to find bugs in the real world |
| 02/05/2010 | Aren't all computable functions continuous? | Continuity Analysis of Programs |
| 02/05/2010 | Not really | Continuity Analysis of Programs |
| 01/05/2010 | Probably goes without saying... | Physics, Topology, Logic and Computation: A Rosetta Stone |
| 12/31/2009 | Formalized mathematics | Open wiki-like code repository |
| 05/08/2010 | Interactive proof assistants | Social Processes and Proofs of Theorems and Programs |
| 05/08/2010 | Misunderstanding CH? | Social Processes and Proofs of Theorems and Programs |
| 05/08/2010 | Ally Donaldson's post | Social Processes and Proofs of Theorems and Programs |
| 04/07/2010 | Old article | Static Typing Where Possible, Dynamic Typing When Needed |
| 01/11/2011 | Re: single inheritance is both co- and contravariant? | Generics: The Importance of Wildcards |
| 04/12/2011 | In some cases the value | Multi-Return Function Call |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |