Lambda the Ultimate

type	title	author	last post
Forum topic	Scala Lift Off Unconference review Another update by James Iry Structural typing by James Iry Heavy influence by James Iry Variance in Java by James Iry It's pretty fundamental by James Iry Cultural mixing by James Iry	raould	2009-06-08 18:17
Story	Scala Lift Off 2009 Update - location and schedule by James Iry	James Iry	2009-05-29 18:32
Forum topic	Extension Methods versus Structural Typing of Traits for solving the expression problem Type aliases by James Iry Example 2 with Structural Types by James Iry Example 2 with Implicits by James Iry Example 2 by James Iry	cdiggins	2009-05-20 10:47
Story	Types are Calling Conventions	James Iry	2009-05-20 01:01
Story	An Interview with the Diamondback Ruby Team	James Iry	2009-05-07 20:15
Story	ADD 50 TO COBOL GIVING COBOL Book for you by James Iry Rename? by James Iry	James Iry	2009-05-02 10:14
Story	Parsing Expression Grammars PEG != packrat by James Iry	Luke Gorrie	2009-04-30 09:35
Forum topic	Languages ready for API Evolution Assembly versioning by James Iry	Jaroslav Tulach	2009-04-22 05:55
Story	Semantics of Memory Management for Polymorphic Languages	James Iry	2009-04-16 00:08
Story	Practical Implementation of a Dependently Typed Functional Programming Language	James Iry	2009-04-14 21:00
Story	Jonathon Shapiro Wraps Up BitC	James Iry	2009-04-12 12:18
Forum topic	Influence of cognitive models on programming language design Comprehending monads by James Iry	Srikumar Subramanian	2009-03-26 21:04
Story	Languages and security: a short reading list	James Iry	2009-03-22 17:02
Story	PinS and RWH are Jolt Finalists Real World Haskell wins! by James Iry	James Iry	2009-03-12 03:13
Story	Denotational design with type class morphisms Wadler weighs in by James Iry	Matt Hellige	2009-02-25 20:28
Forum topic	Microsoft PDC "Language" Talks MP4, WMV by James Iry	shahbaz	2009-02-12 12:16
Forum topic	Looking for papers describing advanced language topics in terms of C programming Not lexical by James Iry Recursion and stuff by James Iry Scoping by James Iry Closures and objects by James Iry	derekp	2009-02-12 06:39
Forum topic	Introducing Dawn - yet another new language Please use "reply" by James Iry	Poul Krogh	2009-02-06 09:07
Forum topic	Explaining monads Monads to the people by James Iry	Ehud Lamm	2009-01-30 11:43
Forum topic	The Origins of the BitC Programming Language Whole program by James Iry	Isaac Gouy	2009-01-30 00:38
Story	2008 In Review - What Happened with Programming Languages? The graphs don't support conclusion by James Iry The implied premise is faulty by James Iry C++ by James Iry Clever by James Iry Statically typed functional languages by James Iry Heavy lifting by James Iry Java is dead, long live Java! by James Iry Scoring myself by James Iry	James Iry	2009-01-28 12:15
Forum topic	Non-standard type theories for FP To answer my own cripes by James Iry Cripes? by James Iry I'm with Naasking by James Iry	marco	2009-01-25 03:59
Forum topic	Weird computability problem relating to state + lambda calculus See Rice's Theorem by James Iry	ellisk	2009-01-17 14:17
Forum topic	Fundamental Flaws in Current Programming Language Type Systems BitC by James Iry "Real world" by James Iry	Bruce Rennie	2009-01-16 16:42
Story	On the Strength of Proof-Irrelevant Type Theories	James Iry	2009-01-16 12:10
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