Lambda the Ultimate

type	title	author	last post
Story	Dependently Typed Programming based on Automated Theorem Proving	Jacques Carette	2012-02-22 18:59
Story	Cambridge Course on "Usability of Programming Languages" Continuing studies by Jacques Carette	James Iry	2012-01-06 03:55
Story	LTL types FRP Banach and Knaster-Tarski by Jacques Carette On choosing definitions by Jacques Carette Naive programmer and Agda by Jacques Carette	Charles Stewart	2011-11-26 23:39
Forum topic	Flash and cross platform mobile web technologies Definitely by Jacques Carette ML or Haskell or ??? by Jacques Carette	JeffB	2011-11-18 20:15
Story	Extensible Programming with First-Class Cases I am working on that as well by Jacques Carette	naasking	2011-11-05 14:53
Forum topic	Can I express variable occurence ranges in logic? Cross-posted to a lot of places by Jacques Carette	j4n bur53	2011-10-19 10:10
Forum topic	Data, Codata, and Their Implications for Equality, and Serialization Good observation by Jacques Carette On that species equation by Jacques Carette codata by Jacques Carette	Douglas McClean	2011-10-14 15:45
Forum topic	machine-ported reference algorithms Not sure if anyone has... by Jacques Carette	bdenckla	2011-10-14 02:44
Forum topic	Redesigning the Mozart virtual machine Excellent idea by Jacques Carette You misunderstood by Jacques Carette Some experts to talk to by Jacques Carette	Peter Van Roy	2011-10-04 22:20
Forum topic	SECD Machine - RAP? Now that's an answer by Jacques Carette	cdiggins	2011-10-03 12:00
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
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