Posts By: Felicia Li Svilling
| Date | Post | Topic |
| 01/25/2011 | Logic Programing in Oz | Points in the Pattern Matching Design Space |
| 10/30/2010 | If the interpreter doesn't | another new language, Chomsky hierarchy Type-0 |
| 11/19/2008 | Church-Turing, Gödel and Curry-Howard | Total functional language self interpreter? |
| 09/19/2008 | For example the type of '(4 | Genericity over tuples |
| 09/22/2008 | ..so you now have two | First-class Macros |
| 09/05/2008 | You know, if you realy want | doing letrec with lambdas |
| 09/08/2008 | But wouldn't that | Review of a potential pramming language: Lima |
| 08/21/2008 | static/dynamic Vs explicit/implicit | Error Messages in Dynamically Typed Languages |
| 04/21/2008 | A bit hair splitting | Static Typing and Expressivity |
| 04/23/2008 | By backtracking? | Static Typing and Expressivity |
| 02/28/2008 | You might want to look into | A Question about Overlap |
| 02/14/2008 | I can't think of any cases | Languages and data conversions. |
| 11/21/2007 | I guess its the market economy. | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/26/2007 | Its both a feature and a | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/25/2007 | What languages would that be? | What are the properties of "Functional Programming Languages"? |
| 11/20/2007 | I think four features that | What are the properties of "Functional Programming Languages"? |
| 11/21/2007 | I dont see how the typing | What are the properties of "Functional Programming Languages"? |
| 11/21/2007 | Whats the question? I dont | What are the properties of "Functional Programming Languages"? |
| 11/21/2007 | Yes sure, Scheme does not | What are the properties of "Functional Programming Languages"? |
| 11/21/2007 | No Ocaml isnt especially | What are the properties of "Functional Programming Languages"? |
| 11/21/2007 | Thats true, I was talking | What are the properties of "Functional Programming Languages"? |
| 08/21/2007 | Where is SNOBOL and Icon. | Diagram showing all programming paradigms and their relationships |
| 08/03/2007 | Why the need for phase | Syntactic abstraction? (newbie question) |
| 08/08/2007 | (call-with-continuation fun | continuations and trampolining |
| 08/18/2007 | No the question is not | Monad Description For Imperative Programmer |
| 07/29/2007 | Or perhaps if we just got a | LtU turns 7: The year of spam |
| 07/26/2007 | It seems strange to me to | Comprehensions with ‘Order by' and ‘Group by' |
| 07/27/2007 | Look at Michael Adams reply | Comprehensions with ‘Order by' and ‘Group by' |
| 07/21/2007 | Oh, this is creepy! | Language Nirvana - Simon Peyton-Jones |
| 07/18/2007 | Lisp users are out of touch | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/18/2007 | Yes, I didn't mean to say | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/13/2007 | Do you just asume that F is | Type inference for free? |
| 07/19/2007 | Id say logis is correct | A Natural Axiomatization of Church's Thesis |
| 07/10/2007 | So, what topics in | HOPL-III: Statecharts in the Making |
| 06/11/2007 | Evaluation order | ECMAScript Edition 4 Reference Implementation |
| 06/11/2007 | I was thinking about | ECMAScript Edition 4 Reference Implementation |
| 06/08/2007 | Why? | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 05/25/2007 | You don't seem to mention | Does these constructs solve the expression problem? |
| 05/18/2007 | The other solution would be | Is Integer wrapping an exceptional condition? |
| 04/20/2007 | "Professor" | Thoughts about the Best Introductory Language |
| 04/16/2007 | Looking at it the other way | Thoughts about the Best Introductory Language |
| 04/14/2007 | Examples? | Deliverable code? |
| 04/02/2007 | What about "constant" (or | Terminology: Thunking vs Quoting |
| 04/02/2007 | Yes | Terminology: Thunking vs Quoting |
| 04/02/2007 | I belive this is called | Defining Types not as Classes but as Mathematical Sets |
| 04/02/2007 | Nothing | Type Directed Concurrency |
| 03/11/2007 | If you have a language that | Gilad Bracha on tuples |
| 03/08/2007 | Arguably patternmatching is | Metalua |
| 02/16/2008 | Futures | Patrick Logan on Software Transaction Memory |
| 01/13/2007 | You will probably want to | Intellisense for dynamic languages |
| 03/07/2007 | I always wondered about | Why people don't use functional programming? |
| 03/07/2007 | Now if those elements have | Why people don't use functional programming? |
| 01/02/2007 | Or even better use the first | Why numbering should start at 0 |
| 12/22/2006 | Generic generally means | Comparing Approaches to Generic Programming in Haskell |
| 12/21/2006 | The unasked question here | The Role of Composition in Computer Programming |
| 12/15/2006 | Termite | Expressive lisp ... |
| 12/15/2006 | To me invoking a | Expressive lisp ... |
| 12/15/2006 | I don't see why you have to | Expressive lisp ... |
| 12/16/2006 | Yeah thats tricky to. I have | Expressive lisp ... |
| 12/19/2006 | dont forget patternmatching | Expressive lisp ... |
| 12/21/2006 | If you want to use processes | Expressive lisp ... |
| 12/21/2006 | It makes higher order | Expressive lisp ... |
| 12/15/2006 | Is there any reason this | Java Open Review Project |
| 07/16/2007 | Uhm.. | Dodo |
| 07/17/2007 | Just one little thing | Dodo |
| 07/17/2007 | Its my experience that the | Dodo |
| 07/17/2007 | In that case | Dodo |
| 11/09/2006 | All the sideeffects in | Want to learn something new |
| 11/04/2006 | Can one mix the | Future of software design? |
| 10/19/2006 | Constraint based hybrid typing and the Curry Howard Isomorphism | Constraint based hybrid typing and the Curry Howard Isomorphism |
| 10/19/2006 | What I am trying to gain. | Constraint based hybrid typing and the Curry Howard Isomorphism |
| 10/20/2006 | Yes I have that, the thing | Constraint based hybrid typing and the Curry Howard Isomorphism |
| 10/18/2006 | Regarding Snobol, the one | Ralph Griswold died |
| 10/14/2006 | Subkinding? | Run time type checking |
| 10/14/2006 | I thougth kinds there a more | Run time type checking |
| 10/11/2006 | Oh! I have done that. But it | The US Torture Bill as C code |
| 10/04/2006 | I don't know that you mean | Why Johnny can't code |
| 08/27/2006 | You could generate nonsense | unchecked exceptions are like runtime type checking? |
| 08/25/2006 | Generally then a dynamic | unchecked exceptions are like runtime type checking? |
| 08/25/2006 | Yes, but it realy is an | unchecked exceptions are like runtime type checking? |
| 08/27/2006 | You could take it one stepp | "Language Oriented Programming" Meta Programming System |
| 08/10/2006 | newLISP has already been | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 07/30/2006 | hm, it seems hard to define | Lisp sans (((paren-theses ((hell))))) |
| 07/30/2006 | ah, ok. But it might be good | Lisp sans (((paren-theses ((hell))))) |
| 07/28/2006 | thats not exactly true. | The solution to all your troubles... |
| 08/03/2006 | I just noticed that there | RLisp - Lisp naturally embedded in Ruby |
| 08/01/2006 | Actually I would say that | Cost of provably-correct code |
| 07/18/2006 | I may have missed something | Advantages of Soft Typing |
| 07/18/2006 | Yes it seems to be the | Advantages of Soft Typing |
| 07/18/2006 | Some have proposed requiring | Advantages of Soft Typing |
| 07/18/2006 | uhm, the 'any' type would | Advantages of Soft Typing |
| 07/18/2006 | I dont see how or why the | Advantages of Soft Typing |
| 07/14/2006 | Except that even a "soft" | OOP Parallel class hierarchies |
| 07/15/2006 | No, castings are practical | OOP Parallel class hierarchies |
| 07/16/2006 | An example | OOP Parallel class hierarchies |
| 07/16/2006 | You could argue that I and R | OOP Parallel class hierarchies |
| 07/16/2006 | I was going to ask if you | OOP Parallel class hierarchies |
| 07/18/2006 | nope these are abstract types | OOP Parallel class hierarchies |
| 07/18/2006 | Well i said with the | OOP Parallel class hierarchies |
| 07/05/2006 | APL and J also doesn't have | DSLs and operator associativity/precedence |
| 05/30/2006 | It does have bearing in that | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | Well yeah, I would think | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | But seriously, I dont see | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | In that way would that be | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | The point was that any proof | Buried Treasure - No Fluff Just Stuff |
| 05/18/2006 | is there any papers anywhere | The Nature of Lisp (a tutorial) |
| 04/06/2006 | yeah, espesially as GvR's | Python 2.5a1 released |
| 03/27/2006 | All language that I know of | Extremely static language? |
| 03/27/2006 | Actually the static typing | Extremely static language? |
| 03/27/2006 | But arent you confusing | Extremely static language? |
| 03/27/2006 | To me, the only connection | Extremely static language? |
| 03/29/2006 | Or put another way, won't | Extremely static language? |
| 03/17/2006 | You could use Opera to avoid | Back button & scroll position |
| 02/28/2006 | I always thougth a | Stroustrup: A Brief Look at C++0x |
| 02/15/2006 | I would think the reason for | Guido: Language Design Is Not Just Solving Puzzles |
| 02/21/2006 | You can never fully | The Next Mainstream Programming Languages |
| 02/16/2006 | I would think that the games | The Next Mainstream Programming Languages |
| 07/26/2006 | Oh, thats intressting, but | The Next Mainstream Programming Languages |
| 10/12/2006 | Actually you could use | Tradeoffs between Unique Types and Monads |
| 10/13/2006 | With a pure implementation i | Tradeoffs between Unique Types and Monads |
| 10/13/2006 | You know functional | Ruby the Rival |
| 10/24/2005 | It was my understanding that | Linear types for aliased resources |
| 10/31/2005 | As I understand it the whole | Linear types for aliased resources |
| 10/22/2005 | I think this is a quite good | What do you mean by studying "programming languages"? |
| 08/08/2006 | We can then add multiple | Object Oriented Programming + Referential Transparency |
| 11/01/2006 | To me it seems that there | Object Oriented Programming + Referential Transparency |
| 10/10/2005 | Actually there is nothing tha | The Church-Turing Thesis: Breaking the Myth |
| 10/10/2005 | for all \= for each | The Church-Turing Thesis: Breaking the Myth |
| 10/12/2005 | I'm not sure we understand ea | The Church-Turing Thesis: Breaking the Myth |
| 10/12/2005 | uhm, yeah know that you menti | The Church-Turing Thesis: Breaking the Myth |
| 10/10/2005 | Have you heard of a thing cal | The Church-Turing Thesis: Breaking the Myth |
| 10/10/2005 | Well the fysical laws of our | The Church-Turing Thesis: Breaking the Myth |
| 10/11/2005 | Actually you can't compute it | The Church-Turing Thesis: Breaking the Myth |
| 10/08/2005 | To cite Oleg: | Zipper-based file server/OS |
| 10/05/2005 | Well I would say that a cons- | Yearning for a practical scheme |
| 10/05/2005 | In relation to which element | Yearning for a practical scheme |
| 12/19/2006 | On one hand for a language | Transparent Persistence |
| 12/19/2006 | The point of RT is that the | Transparent Persistence |
| 12/19/2006 | I did point out the | Transparent Persistence |
| 10/21/2005 | Well, all those people said t | the Chinese natual language |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |