recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	what is GVScript?	raould	2008-01-16 02:39
Forum topic	width still fixed? A more general css fix by Jeff Nowakowski another wide page by raould Rez etc. by raould css fix by Sjoerd Visscher Depends on Theme by Heribert Slama Details by Anton van Straaten Not just that page by raould Pre tag causing the problem on one of the posts... by Chris Rathman	raould	2008-01-16 00:55
Forum topic	(newbie question) Covariance and contravariance Eiffel by James Iry Kannan, Thanks for the clear by chihiro Any other languages doing the same thing. by chihiro Not even then by Daniel Yokomizo Array covariance can be safe... by Scott Johnson The type operator is the thing that creates array types. by Kannan Goundan Covariance of Arrays by Andris Birkmanis	chihiro	2008-01-15 21:00
Forum topic	Well-typed programs canâ€™t be blamed Talk from BayFP by James Iry Broken link. Fixed. by naasking Conceptual shift by Marc Hamann Perhaps this is a case where by Brandon Moore Future work? by Marc Hamann Missing polymorphism by Brandon Moore Heterogeneous impure by Marc Hamann Huh? by Frank Atanassow The walk behind the Talk by Marc Hamann Tech Talk by Derek Elkins	Marc Hamann	2008-01-15 00:40
Story	How to write your next POPL paper in Coq U Penn CIS 500 Materials by Paul Snively Tutorial materials by Ehud Lamm In particular... by Charles Stewart My Opinion... by Paul Snively See also here (and revive by Ehud Lamm A Syntactic Approach to Type by rebooted Can someone say something about the prerequisites? by sigfpe Course on Coq by Andrei Formiga You Had Better Believe... by Paul Snively Yes! by Brian Aydemir ...	Ehud Lamm	2008-01-13 18:01
Story	Theorem proving support in programming language semantics Update by Paul Snively Theorem proving support in programming language semantics by Konrad Slind Oops by Paul Snively Missing link? by Daniel Yokomizo	Paul Snively	2008-01-13 07:36
Story	Engineering Formal Metatheory Convergence by Paul Snively Nominal Isabelle by Teme Yep by Paul Snively	Allan McInnes	2008-01-12 23:43
Forum topic	Parallel skeleton libs review? Misc related paper by raould	raould	2008-01-12 03:00
Forum topic	Featherweight JavaScript? well... by Dave Herman semantics of the DOM by Dave Herman JS Semantics by Michael Greenberg Scoping by Andris Birkmanis slim pickings by Dave Herman	Andris Birkmanis	2008-01-11 00:24
Forum topic	The Land of the Terminal Maybe program source should be stored as... by Scott Johnson Careful, assumptions are by Curtis W Typing Was Proceeded By Printing by Jason Dusek Yes, that's mostly what I'm by Curtis W Don't discard the current "look and feel," expand on it by James W Hofmann 1. What we call "text" is by Curtis W The use of trees in PLs and logic by Anton van Straaten summation by Curtis W not exactly by Curtis W A couple of thoughts by Scott Johnson ...	Curtis W	2008-01-11 00:03
first page previous page next page last page