Posts By: Serguey Zefirov
| Date | Post | Topic |
| 10/03/2011 | Gaigen 2 performance. | Parallel frameworks for graph processing |
| 10/04/2011 | Actually, if you use | Parallel frameworks for graph processing |
| 10/04/2011 | Quite good news. | Parallel frameworks for graph processing |
| 02/28/2011 | "Citation needed" | Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 |
| 03/04/2011 | My bad. | Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 |
| 02/16/2011 | But I don't see a lot of | Extending Syntax from Within a Language |
| 12/15/2010 | The nature of parser combinators prevent many things. | The fundamental limitations of parser combinators... and how to fix them. |
| 12/09/2010 | From a text summary above: | "Future of Programming Languages" panel |
| 11/25/2010 | Cayenne and Agda2 | The Myths of Object-Orientation |
| 10/29/2010 | Regarding hardware dataflow model | New Dataflow Programming Language |
| 09/09/2010 | "In the imperative setting." | Joe Duffy: A (brief) retrospective on transactional memory |
| 08/11/2010 | Problems. | Synchronic Computaion |
| 08/03/2010 | I, actually, once suggested that. | Towards general nested data parallelism |
| 05/11/2010 | Linear Logical Algorithms, a | Computing complexity |
| 04/27/2010 | Pleas, take a look at | Add "unit time delay (D)" operator to functional language with random signals instead of random vars |
| 04/29/2010 | I did. | Add "unit time delay (D)" operator to functional language with random signals instead of random vars |
| 04/27/2010 | I am highly interested too. | Games and Languages |
| 04/21/2010 | Is it too much to ask... | Games and Languages |
| 03/15/2010 | Automatic parallelization. | Have tracing JIT compilers won? |
| 03/17/2010 | Trace-based execution models | Have tracing JIT compilers won? |
| 03/29/2010 | I missed the "low latency" | Have tracing JIT compilers won? |
| 03/29/2010 | IE 9 has multithreaded JS | Have tracing JIT compilers won? |
| 04/02/2010 | Clarifying some details. | Have tracing JIT compilers won? |
| 03/06/2010 | Please, see HOSC: | plt vs. something else for programming in the large? |
| 02/03/2010 | Arrows come to mind. | Formal treatments (or examples of) of "function concatenation"? |
| 01/27/2010 | Bluespec. | are rewrite systems really the bee's knees |
| 11/27/2009 | PiSigma, a dependently typed core language | PiSigma, a dependently typed core language |
| 11/27/2009 | Adding non-termination. | The perfect advanced programming language for the productive industrial developer |
| 11/27/2009 | The difference is in terminology. | The perfect advanced programming language for the productive industrial developer |
| 11/06/2009 | You didn't mention Dynamic Data Flow | Seeking broad survey of wide range of concurrency idioms |
| 05/12/2009 | Shootout doesn't measure | C++ Frequently Questioned Answers |
| 05/15/2009 | Yes, it does: | C++ Frequently Questioned Answers |
| 10/30/2009 | Source code link | Equality Saturation: A New Approach to Optimization |
| 01/20/2009 | Goto BLAS as a counterexample | 2008 In Review - What Happened with Programming Languages? |
| 02/18/2009 | No one mentioned Fudgets. | Declarative layout and/or UI languages? |
| 07/14/2008 | Oberon/Juice AST compression | Implementing fast interpreters |
| 03/23/2008 | Dependent Types, Generic Programming and Overloading. | Dependent Types, Generic Programming and Overloading. |
| 05/23/2008 | Interesting example in Coq | Dependent Types, Generic Programming and Overloading. |
| 10/31/2007 | That was not so long time | On the Importance of Purity |
| 10/23/2007 | Tcl has threads for quite | Any multi-threaded interpreters? |
| 10/08/2007 | I did a survey of eHDL | It's Time to Stop Calling Circuits "Hardware" |
| 09/08/2007 | I'll answer nevertheless. | Generating useful errors in a functional stream parser |
| 05/12/2007 | Objects = closures w. mult. entry points | The Monad.Reader |
| 04/20/2007 | Can Epigram be nominated? | Why is there not a PL with a mathematical type system? |
| 01/01/2007 | There was a language Id90, a | "Limits to implicit parallelism in functional application" |
| 01/04/2007 | Might be. | "Limits to implicit parallelism in functional application" |
| 01/04/2007 | Programs in Id90 were ran on | "Limits to implicit parallelism in functional application" |
| 01/01/2007 | My favorite metric is | Metrics for Programmatic Complexity? |
| 01/31/2007 | Actually, you can download | A reflective functional language for hardware design and theorem proving |
| 08/05/2006 | Notwithstanding presence of lazy generators... | Cat Programming Language: Slides from Lang. NET 2006 |
| 08/07/2006 | Memoization | Cat Programming Language: Slides from Lang. NET 2006 |
| 06/17/2006 | CISC->RISC | Why only 'minimal' languages |
| 05/09/2006 | Take a look, please. | Designing a Type Notation for a Stack Based Functional Language |
| 02/23/2006 | Not all of them. | Signature Based Polymorphism, Structural Subtyping and Duck Typing |
| 02/23/2006 | Signature-based | Signature Based Polymorphism, Structural Subtyping and Duck Typing |
| 02/18/2006 | A solution | Interval Computations |
| 01/02/2006 | Dataflow languages and hardware - current status and directions | Dataflow languages and hardware - current status and directions |
| 01/08/2006 | Aha. This is what I found alo | Dataflow languages and hardware - current status and directions |
| 12/13/2005 | But it does not build! | Djinn, a theorem prover in Haskell, for Haskell. |
| 12/08/2005 | Some papers and links along the way. | Practical: Designing a graph matching language. |
| 09/09/2005 | It just does not justify | Haskell and creative freedom |
| 09/13/2005 | Isn't expressive at all, BTW | Haskell and creative freedom |
| 09/13/2005 | The bigger the number of toke | Haskell and creative freedom |
| 07/28/2005 | You can't get... | ML without GC |
| 07/16/2005 | DiaGen and DiaPlan | DiaGen and DiaPlan |
| 05/05/2005 | Have you ever programmed? | Why do they program in C++? |
| 04/16/2005 | ATM (teller machine) software | How widespread are inhouse DSLs? |
| 04/11/2005 | Haskell and OCaml | Language Design 101 |
| 09/15/2005 | Yes, it needs to compute N-1 | expressivity of "idiomatic C++" |
| 09/16/2005 | Yes, it is possible, because | expressivity of "idiomatic C++" |
| 03/20/2005 | Could I suggest?.. | OCaml vs. C++ for Dynamic Programming |
| 02/21/2005 | Jim Trevor's type system | The HM system does not have principal typings for all terms |
| 02/21/2005 | I compare it to system CT | The HM system does not have principal typings for all terms |
| 02/21/2005 | What are the types, anyway | The HM system does not have principal typings for all terms |
| 01/17/2004 | The Language Construction Kit | The Language Construction Kit |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |