recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Finding Solutions vs. Verifying Solutions I should probably be more by Blaisorblade Tx for support, by Ivan V. Retract, new try by Blaisorblade This definition is closely by Blaisorblade You are interested in the by Blaisorblade (deleted comment) by Ivan V. Criticism by gasche relative complexity by John Shutt Godel's Revenge by Keean Schupke I think I will, thank you by Ivan V. ...	Ivan V.	2017-05-29 18:23
Story	Imperative Functional Programs that Explain their Work I can't read your example by Andrew Moss Yes I agree by chrisoliver But the "everyday language" by Andrew Moss Oystein Ore the culprit by chrisoliver Galois connections by chrisoliver	gasche	2017-05-31 09:03
Forum topic	Free links to all (or practically all) recent SIGPLAN papers Many articles inaccessible by johnwcowan The ACM DL remains a second choice for me by gasche	emery	2017-06-04 03:32
Story	Jean Sammet, Co-Designer of a Pioneering Computer Language, Dies at 89 More than COBOL by Barak A. Pearlmutter	bashyal	2017-06-08 14:50
Forum topic	Living it up with a Live Programming Language Abstraction-free programming.. by Wouter Congratulations! by Paul Snively It got in! by Sean McDirmid Tell the user to download by Gavin Harrison I am not the proper person to answer that! by Achilleas Margaritis I mean languages whose by Sean McDirmid Examples? by raould What works? by raould The limiting factor is by Sean McDirmid better movie formats by Kragen Sitaker ...	Sean McDirmid	2017-06-10 16:27
Forum topic	SK Calculus not Consider SeKsy? Abstractionless programming.. by Wouter Types by lennart Abstract Machines by Per Vognsen programming in SK-combinators by Kragen Sitaker I wonder by cdiggins Size explosion by Klaus Ostermann Building languages on top by Chris Rathman Supercombinators by pkhuong I think #4 is true by sigfpe Funny that you should ask. by cdiggins ...	cdiggins	2017-06-10 16:33
Forum topic	Abstractionless programming Abstractionless programming.. by Wouter Non-Prototype Literate Programming via Outlines, w/Cloned Nodes by Paul Snively Managing Duplicated Code with Linked Editing by Andris Birkmanis Same paper? by Frank Atanassow Published by Charles A Stewart ... by Wouter Yes, it is very strongly rela by Wouter P = NP, up to sharing by Frank Atanassow Premature sharing considered harmful :-) by Andris Birkmanis Optimal sharing by Darius Bacon ...	Wouter	2017-06-10 16:36
Forum topic	Restructor: Full Program Automatic Refactoring Amusing by gasche "Copy and Paste Redeemed" by Blaisorblade Loop refactoring.. by Wouter normal forms by dmbarbour loops by Anders Horn I haven't proven I reach "normal form" by Wouter No normal form by Keean Schupke Suggesting abstractions by dmbarbour	Wouter	2017-06-16 21:17
Story	Co-hygiene and quantum gravity	Manuel J. Simoni	2017-06-17 16:22
Forum topic	C runtime type info gimmick which supports scripting behavior by Rys McCusker	Rys McCusker	2017-06-23 23:08
first page previous page next page last page