Lambda the Ultimate

type	title	author	last post
Forum topic	What is Intuitive? Intuitive is a predicate with by Daniel Slaney	raould	2016-05-12 23:55
Forum topic	Constraint-Based Type Inference and Parametric Polymorphism Hindley-Milner:System F as ?:F< by Daniel Slaney	Sean McDirmid	2015-02-13 23:43
Story	The Three Laws of Programming Language Design What about the Monads? by Daniel Slaney	bashyal	2013-07-04 14:32
Story	John C. Reynolds, 1935-2013 Rest in Peace by Daniel Slaney	neelk	2013-05-08 11:20
Forum topic	Are scalars "just" degenerate matrices? Mathematicians play loose with notation though... by Daniel Slaney	Douglas McClean	2012-09-22 21:38
Forum topic	IDE design for immediate feedback Running the compiler at runtime... by Daniel Slaney	David Wagner	2012-09-04 09:14
Story	Machine Obstructed Proof "intuition comes from by Daniel Slaney	Tommy McGuire	2010-11-08 18:57
Forum topic	The Next Mainstream Programming Languages 20-30% in our case if memory by Daniel Slaney We were using A* for path by Daniel Slaney Good points... by Daniel Slaney	Per Vognsen	2010-01-24 13:32
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? Here's a good place to look by Daniel Slaney I'm not working on Parrot by Daniel Slaney I believe... by Daniel Slaney	John Carter	2009-05-23 23:23
Story	Grady Booch: Software Engineering Grand Challenges Programming Systems by Daniel Slaney	Ehud Lamm	2008-04-27 18:35
Forum topic	A Growable Language Manifesto MSP by Daniel Slaney	RobJellinghaus	2007-12-24 20:01
Forum topic	Uniqueness Types Instead STM There seems to be more than by Daniel Slaney They are similar by Daniel Slaney	kaveh.shahbazian	2007-10-12 22:59
Story	The Karmasphere DP language Interesting by Daniel Slaney	Philippa Cowderoy	2007-08-07 19:04
Story	Sun's new JavaFX Script language Multi-Stage Programming (MSP) by Daniel Slaney	segphault	2007-05-21 17:08
Forum topic	How do you call such a design pattern Planner? by Daniel Slaney	Marcin Stefaniak	2007-03-21 10:54
Forum topic	Eta-expansion of abstractions outside the lambda-calculus Thanks again. by Daniel Slaney Let me see if I have this right... by Daniel Slaney	Daniel Slaney	2007-01-09 08:58
Story	Charming Python: Decorators make magic easy AOP? by Daniel Slaney	Ehud Lamm	2007-01-06 15:50
Story	Practical Type Inference Based on Success Typings Intersection Types? by Daniel Slaney I thought a similar thing by Daniel Slaney	James Hague	2007-01-02 15:11
Story	AgentSheets: End-User Programing (and Secret Lisp Success Story!) Antiobjects ~= Fields? by Daniel Slaney	Brent Fulgham	2006-12-31 23:19
Story	Java Open Review Project If you don't have a special by Daniel Slaney	Ehud Lamm	2006-12-16 11:29
Forum topic	Request for feedback: hobbyist post on "the significance of the meta-circular interpreter." Partial Evaluation by Daniel Slaney	raganwald	2006-12-07 22:33
Forum topic	Functional programming and software engineering Nominal vs. Structural by Daniel Slaney	Kay Schluehr	2006-11-20 17:36
Story	Dynamic Languages Symposium Program Online IDEs by Daniel Slaney	Erik Meijer	2006-09-20 17:21
Forum topic	Your favourite editor/IDE VS, Eclipse and CrimsonEditor by Daniel Slaney	Josef Svenningsson	2006-08-27 07:38
Forum topic	Covariance and typing I agree, to agree to disagree. by Daniel Slaney So it's not slicing, it's by Daniel Slaney It is possible in Java and by Daniel Slaney I should have been more explicit. by Daniel Slaney Isn't this called (object) slicing? by Daniel Slaney	dataangel	2006-08-05 13:21
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