Lambda the Ultimate

type	title	author	last post
Forum topic	Closures for Java or money back The type inferenced by Philippa Cowderoy If I'm going to use type by Philippa Cowderoy You can likely improve the by Philippa Cowderoy Not if you're interoperating by Philippa Cowderoy An IDE for a type-inferenced by Philippa Cowderoy	el-vadimo	2006-09-23 19:16
Story	Dynamic Languages Symposium Program Online I think most of us associate by Philippa Cowderoy	Erik Meijer	2006-09-20 17:21
Story	Lang .NET 2006 Then you're a bigger part of by Philippa Cowderoy	Erik Meijer	2006-09-18 18:32
Forum topic	Small Value Set Types Yes, type-checking in a by Philippa Cowderoy	cdiggins	2006-09-06 02:05
Story	Gradual Typing for Functional Languages It probably has to be in by Philippa Cowderoy	Paul Snively	2006-09-04 13:48
Forum topic	Implementing arrays However, the asymptotic by Philippa Cowderoy	dataangel	2006-09-02 09:52
Forum topic	Multi-Stage Languages Only that's not much good if by Philippa Cowderoy It's an incredibly good idea by Philippa Cowderoy	cdiggins	2006-09-01 19:59
Forum topic	Advantages of Soft Typing Nastier: in case of by Philippa Cowderoy I think the point is that it by Philippa Cowderoy You're still making by Philippa Cowderoy That's usually accomplished by Philippa Cowderoy	Curtis W	2006-08-29 22:21
Forum topic	Overloading : Why do some languages leave it out? At risk of going off-topic, by Philippa Cowderoy Yes. Implement a simple ML by Philippa Cowderoy	cdiggins	2006-08-08 21:28
Story	ContextL Haskellised layers? by Philippa Cowderoy	Ehud Lamm	2006-07-26 20:05
Forum topic	First Class Values, Types as values within a Programming Language Depends how wide your value by Philippa Cowderoy No. I might have more than by Philippa Cowderoy They are not the same thing, by Philippa Cowderoy I was rather dismayed by Philippa Cowderoy I also miss it sometimes. A by Philippa Cowderoy Not necessarily - it could by Philippa Cowderoy	Bruce Rennie	2006-07-20 00:50
Forum topic	OOP Parallel class hierarchies Presumably Felicia knows by by Philippa Cowderoy Pattern-matching on by Philippa Cowderoy They don't do the exact same by Philippa Cowderoy I think it's worth noting by Philippa Cowderoy Once we have a wiki by Philippa Cowderoy	dataangel	2006-07-18 19:50
Forum topic	How do Java generics correspond to System F-(omega)? Sort of. The easiest thing by Philippa Cowderoy But it doesn't quite work if by Philippa Cowderoy Consider a language with a by Philippa Cowderoy	Chung-chieh Shan	2006-07-12 22:39
Forum topic	HLVM - High Level Virtual Machine toolkit for dynamic languages Will post source somewhere by Philippa Cowderoy Fair enough. Don't suppose by Philippa Cowderoy I take it generating Neko by Philippa Cowderoy Haskell with the Dynamic by Philippa Cowderoy	nat	2006-07-09 21:57
Forum topic	What are the real benefits of FP? You can always rebuild by Philippa Cowderoy One good reason would be by Philippa Cowderoy	dataangel	2006-07-09 20:03
Forum topic	Amusing question You're not the only one to by Philippa Cowderoy	Ehud Lamm	2006-07-08 19:19
Forum topic	Lexical structure of scripting languages This isn't true, or there by Philippa Cowderoy	uchchwhash	2006-07-07 23:48
Forum topic	A new implementation of recursive-descent parsing? I'm not directly referring by Philippa Cowderoy I'd deliberately not named by Philippa Cowderoy (while I would _love_ to be by Philippa Cowderoy	Achilleas Margaritis	2006-07-07 18:13
Story	LtU: Policies document The word "post" might be by Philippa Cowderoy	Ehud Lamm	2006-07-03 19:27
Forum topic	Church-Turning is False? I suspect the "better by Philippa Cowderoy	Bryan Turner	2006-06-28 09:36
Forum topic	Rules for Developing Safety-Critical Code You realise Moe'll keep by Philippa Cowderoy	Peter J. Wasilko	2006-06-25 21:26
Forum topic	How are GADTs useful in practical programming? I don't know if this counts by Philippa Cowderoy	Klaus Ostermann	2006-06-21 13:31
Forum topic	Why only 'minimal' languages IME, it does pretty well at by Philippa Cowderoy One advantage of macros that by Philippa Cowderoy But those features are only by Philippa Cowderoy We do all these things in by Philippa Cowderoy Almost everything Jeff lists by Philippa Cowderoy I've not yet talked about by Philippa Cowderoy [1,2,3] vs 1:2:3:[] is by Philippa Cowderoy Sufficiently good purist by Philippa Cowderoy It's exponentially more by Philippa Cowderoy Bloat in the standard libs by Philippa Cowderoy	Karsten Wagner	2006-06-19 15:33
Forum topic	Dataflow programming for PIC microcontrollers I had that in mind for by Philippa Cowderoy These are now issues in your by Philippa Cowderoy For typechecking: are you by Philippa Cowderoy	Peter Scott	2006-06-18 19:46
Forum topic	Relevance of Curry-Howard Congratulations, you just by Philippa Cowderoy Thanks, I should've seen by Philippa Cowderoy And now I'm wondering if by Philippa Cowderoy My gut instinct is yes, so by Philippa Cowderoy Not in the CIC, but in the by Philippa Cowderoy I'm not sure I see (for by Philippa Cowderoy I'm not sure I see a by Philippa Cowderoy I'm not trying to. I do by Philippa Cowderoy There's an argument for by Philippa Cowderoy There's been some talk of by Philippa Cowderoy	Klaus Ostermann	2006-06-12 13:36
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation