Lambda the Ultimate

type	title	author	last post
Forum topic	Forum Topics and Story Agreed by Jacques Carette LtU decay by Jacques Carette	Henry Luo	2011-09-24 17:53
Story	Functor is to Lens as Applicative is to Biplate: Introducing Multiplate	Jacques Carette	2011-03-17 09:27
Story	The IO Monad is 45 years old That is stretching things too far by Jacques Carette	Z-Bo	2011-01-10 10:34
Story	Directly Reflective Meta-Programming	Jacques Carette	2010-11-17 00:36
Forum topic	Articles on deforestation of functional array/vector/matrix operations in a strict language single assignment C by Jacques Carette	scottmcl	2010-08-26 14:42
Story	Why Undergraduates Should Learn the Principles of Programming Languages Loosely translated indeed by Jacques Carette	Z-Bo	2010-07-15 09:08
Forum topic	Evocative metaphor Semantics can be partial by Jacques Carette	Ehud Lamm	2010-07-12 13:40
Story	Functional Pearl: Species and Functors and Types, Oh My! I'll get back on this later by Jacques Carette Small clarification by Jacques Carette species combinators and basic species by Jacques Carette Agree by Jacques Carette On Species by Jacques Carette	Matt Hellige	2010-07-05 09:38
Forum topic	A lambda calculus with arbitrary set primitives Lazy by Jacques Carette Not encoding by Jacques Carette	Neil Toronto	2010-07-01 12:56
Forum topic	A Theory of Typed Hygienic Macros	Jacques Carette	2010-06-20 22:13
Forum topic	plt vs. something else for programming in the large? Leibniz' dream by Jacques Carette	raould	2010-06-17 01:07
Forum topic	Interpreter to compiler generator? Finally tagless by Jacques Carette	pdf23ds	2010-06-12 15:53
Story	LtU turns 7: The year of spam More editors can help keep the flow by Jacques Carette	Ehud Lamm	2010-04-29 05:51
Forum topic	Games and Languages Journal: Empirical Software Engineering ? by Jacques Carette	giuseppemag	2010-04-27 15:26
Story	Can functional programming be liberated from the von Neumann paradigm? Extremely cool by Jacques Carette	Charles Stewart	2010-04-14 20:25
Story	Tagless Staged Interpreters for Simpler Typed Languages 2 different (related) papers by Jacques Carette Required polymorphism by Jacques Carette Check the Journal version by Jacques Carette	Ehud Lamm	2010-04-06 00:28
Forum topic	Why type systems are interesting Repairing link by Jacques Carette	Anton van Straaten	2010-03-08 19:47
Story	Extending the Scope of Syntactic Abstraction Delta expansion by Jacques Carette Good point by Jacques Carette Syntactic abstraction by Jacques Carette Agreed, but by Jacques Carette I agree by Jacques Carette Another take on this by Jacques Carette	Manuel J. Simoni	2010-03-05 04:14
Forum topic	Unifying map and mapM through subtyping? Arity-polymorphism by Jacques Carette	Douglas McClean	2010-02-28 14:57
Story	The Role of Composition in Computer Programming Wish I could by Jacques Carette Focusing on the "wrong" things by Jacques Carette	James Hague	2010-02-19 01:25
Forum topic	Claiming Infinity Thanks Derek by Jacques Carette Mind-blowing by Jacques Carette	Julian Rohrhuber	2010-02-03 12:53
Story	Why API Design Matters Some relevant research by Jacques Carette I agree by Jacques Carette Much older by Jacques Carette Basic software engineering? by Jacques Carette	Leon P Smith	2010-01-16 12:20
Story	Pattern Calculus Shape theory by Jacques Carette A review by Jacques Carette	Jacques Carette	2009-12-17 02:14
Forum topic	Programming (language) puzzles Modeling error? by Jacques Carette	Chung-chieh Shan	2009-10-02 17:42
Story	ADD 50 TO COBOL GIVING COBOL Oh, the memories! by Jacques Carette	James Iry	2009-05-02 10:14
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