recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Can local variables assignments be considered pure functional without monads? Cross-purposes? by Anton van Straaten Inner Forall Polymorphism and Equirecursive Types by cdiggins Back to unityped lists by Anton van Straaten Kevin Millikin's Cat Evaluator in ML by cdiggins Here you go by cdiggins Not so fast by Anton van Straaten You might want to take a by Philippa Cowderoy Thanks for the example by cdiggins Moving Expressions by cdiggins An example by Kannan Goundan ...	cdiggins	2008-04-14 12:55
Forum topic	Applications of formal semantics Disagree by Matt M Imagine physics without math... by Anton van Straaten An approach to the de Bruijn criterion by Charles Stewart My motivation... by Paul Snively	roberto	2008-04-14 02:59
Forum topic	Simple type system oriented question Thanks! - and I'm 42 years old (not homework....) by scottmcl Let me paraphrase. Does by lmeyerov	scottmcl	2008-04-13 13:41
Story	Chris Crawford's 9 Breakthroughs Chris Crawford has been thinking about linguistic interfaces by Bret Victor	Ehud Lamm	2008-04-13 05:07
Story	Mechanizing Language Definitions Article by Charles Stewart Semantics, types by Ehud Lamm Thanks, I started to look int by daryabeygi Yes. Thanks. by Ehud Lamm Page not found by michaelw Example by Ehud Lamm Grunt work by michaelw Twelf by Ehud Lamm this is the POPLmark Challenge by Carl Witty in need of direction by daryabeygi	Ehud Lamm	2008-04-11 13:18
Forum topic	Typing "let rec"	sdogood	2008-04-11 12:19
Forum topic	Context free grammar for shapes in a 2d grid? Applications of tree grammars by Charles Stewart Grammatical Picture Generation by Martin Berglund tree grammars by lmeyerov Picture Languages by Charles Stewart	markt	2008-04-11 11:35
Forum topic	Computing History at Bell Labs	Manuel J. Simoni	2008-04-10 19:05
Story	Simply efficient functional reactivity not really by lmeyerov HDL by odanet Continuous & discrete by Conal Elliott I am not familiar with FRP. by Denis Bredelet -jido fundamental choices by Conal Elliott Labview? by Greg Buchholz Sounds analogous to Lucid by drinkinglizard They're both fruit by Sam Tobin-Hochstadt FrTime comparison by Conal Elliott FrTime by Chongkai	Matt Hellige	2008-04-10 05:53
Forum topic	Minimal set of operators for APL/J like language Thanks! That's the kind of by Pablo Barenbaum An APL Machine by Derek Elkins Smart dataflow key to APL/J style languages by jgd	Pablo Barenbaum	2008-04-10 03:34
first page previous page next page last page