recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	A section on Books PLT Online by Frank Atanassow wiki type by shahbaz We haven't forgotten by Ehud Lamm That would be cool... by Matt Estes How about a Wiki? by Nathan Sobo Makes sense by Ehud Lamm	senthil	2005-09-01 14:28
Forum topic	DiaGen and DiaPlan	Serguey Zefirov	2005-07-16 22:52
Forum topic	PiSigma, a dependently typed core language	Serguey Zefirov	2009-11-27 11:57
Forum topic	Dataflow languages and hardware - current status and directions Aha. This is what I found alo by Serguey Zefirov low correlation of dataflow languages versus architecture by JamesLitsios See the neighboring thread on "The new old" by johnwcowan	Serguey Zefirov	2006-01-08 01:35
Forum topic	Dependent Types, Generic Programming and Overloading. Interesting example in Coq by Serguey Zefirov I did not implement it. by Denis Bredelet -jido Dependent values by Denis Bredelet -jido Parametric polymorphism by mrd Dependent types are types by Matt M I was looking at a new by Denis Bredelet -jido Aldor is a dependent-typed programming language with overloading by billpage Rewriting logic by Charles Stewart Coq gets typeclasses by Gavin Mendel-Gleason	Serguey Zefirov	2008-05-23 00:35
Forum topic	Parser that allow syntax extensions 2010-01-23- I would like to take a look at your paper by cesarabravop Please, I need some by Ed Earl Ross Permissive structural grammar by Glyn Adgie D-Expressions by Thomas Schilling hopefully on topic by David Medlock Professor Wirth's Reply by Kevin Greer Reader macros are cool! by Srikumar Subramanian May not be entirely relevant by Srikumar Subramanian What Niklaus Wirth has to say... by Kevin Greer Parsec has error handling capability by byu ...	serras	2010-01-24 03:08
Forum topic	Subtyping and dependent types Subtyping with dependent types has been studied in the literatur by gasche	serras	2012-05-05 10:17
Forum topic	Microsoft MVP ... [Admin] by Ehud Lamm	Shaguf	2008-12-02 06:15
Forum topic	Microsoft and PLT	shahbaz	2007-10-21 09:00
Forum topic	Programming: 50, 100 years from now Paintable Computing by Derek Elkins Ruby on Rails is not far from that by nat What about experience-based programming? by Achilleas Margaritis While I consider the "we'll by Maddas Good point! by Riaan Moll People have been saying this by nat On the gripping hand... by Riaan Moll I suspect that the future of by Riaan Moll In 1960Mumble I was using by Webley Webster Artificial Minds will be smarter by Daniel Yokomizo ...	shahbaz	2006-04-03 17:51
first page previous page next page last page