user | Lambda the Ultimate

user

view
track

type	title	author	last post
Story	Functional Geometry and the Traite Ì de Lutherie Yay by Jason Grossman It's an article, not a book, by Ehud Lamm It's a great topic by Jason Grossman I believe we signed a treaty by Sean McDirmid UTF-8 by kerneis The Galison paper in fn. 8 by Ehud Lamm The tradition from which by Ehud Lamm	bashyal	2014-04-05 09:57
Forum topic	Future of Programming workshop Thanks. That makes sense. by Sean McDirmid It's not to flag. It is to by Ehud Lamm Actually, I don't think you by Sean McDirmid We must have corresponded by Ehud Lamm Noted. I never knew I had by Sean McDirmid Of course you are. (You by Ehud Lamm I'm not a moderator with by Sean McDirmid Meaning? by Ehud Lamm Sorry, I don't get you. by Sean McDirmid Why not the homepage? by Ehud Lamm	Sean McDirmid	2014-04-04 11:47
Forum topic	using words and notation in domain specific language syntax This is an interesting by leonardo m the whole purpose of a DSL by Brandon Bloom Core vocabulary by John Shutt ask the ppig? by raould	Gergely Buday	2014-04-02 01:03
Forum topic	Toward a better programming The victorious, bloodthirsty by Kay Schluehr Indeed by Keean Schupke See above by Keean Schupke but but but by raould Useful Coupling of Concerns by dmbarbour Abstraction, Modularity, Composition by Ted Kaminski I don't think it will ever be easy. by Keean Schupke i'm sorry zaphod i don't believe a word of it by raould free epiphaies on ltu by raould A search for foundations by Kalani ...	ibdknox	2014-04-01 05:35
Story	What Are The Resolved Debates in General Purpose Language Design? True, the existence of by John Shutt Compatability and Popularity. by Keean Schupke double post. by Keean Schupke In this whole gigantic, by John Shutt Relatively relative by John Shutt symptomatic fexprs by John Shutt . It seems to me that the by Sean McDirmid Nothing is resolved by Keean Schupke DWIM (Do What I Mean) (InterLisp feature) by bshanks It's one of those by Ehud Lamm ...	James Iry	2014-03-31 20:55
Forum topic	The theory behind the Terms language	Enrique Perez Arnaud	2014-03-30 21:13
Forum topic	Avoiding Actor Deadlocks--JActor loosing context can be critical to your health by laforge49 clueless take on it by raould The complexities by laforge49 seems insufficient by raould find Ulf W. by raould a global time keeper is often practical by laforge49 Use application details to prevent dadlocks by laforge49 concurrent map vs concurrent queue by laforge49 Efficiency of message passing is crucial by Hewitt Messages are immutable, Request Actors are not immutable by Hewitt ...	laforge49	2014-03-27 04:37
Story	Facebook Introduces â€˜Hack,â€™ the Programming Language of the Future Hack is intended to be sound by Sam Tobin-Hochstadt Interpreters as values by Keean Schupke I understand how monads by Matt M Its a State Machine in a Box by Keean Schupke nonces with assertEq by dmbarbour Nonces are fine by gasche How do you represent by Matt M A possible dynamic implementation. by Keean Schupke Can you explain what you by munificent Which, on the face of it, by munificent ...	bashyal	2014-03-26 03:53
Forum topic	CFP: Book Chapters for "A Librarianâ€™s Introduction to Programming Languages" Ada. by Ehud Lamm It's first alphabetically. by John Shutt More seriously by Ehud Lamm Oh come on by Matt M I didn't think he wanted to by Sean McDirmid Reasons for using languages by Andreas Rossberg	mfidelman	2014-03-25 23:50
Story	Gilad Is Right A surprising result by yminsky Puns by yminsky Assumptions about proof by Anton van Straaten Yes, the paper talks about by Felicia Li Svilling Optional types & annotations by Anton van Straaten Anything you can do by Chris Rathman Wrong goal by Anton van Straaten How does "optional" work anyway? by Ethan Aubin Lack of invariants causes lack of information by Andreas Rossberg A Practical Soft Type System for Scheme by Vesa Karvonen ...	Erik Meijer	2014-03-23 13:38
first page previous page next page last page