recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	A Generator for Type Checkers	Cremieux Alain	2005-11-11 22:03
Story	A Garbage-Collecting Typed Assembly Language The extent of checked logic? by naasking	Ehud Lamm	2006-12-04 21:36
Forum topic	A functional-programming view of time Relative Efforts for Relative Benefits by dmbarbour Computing the integral by Jules Jacobs on the inside, their should by dmbarbour Ah, I was getting confused by Sean McDirmid Integral in Reactive means by dmbarbour The real challenge is in by Sean McDirmid Physical Constraints by dmbarbour your problem is with how OSs by dmbarbour It sounds like your problem by lmeyerov Thank you by Bakul Shah ...	Bakul Shah	2010-10-16 02:14
Forum topic	A Functional Semantics of Attribute Grammars I said it hurts :-) by Andris Birkmanis Use futures...? by Andris Birkmanis	Andris Birkmanis	2004-07-27 17:51
Forum topic	A Functional Representation of Data Structures with a Hole (1998) Pointers by skaller how to tell the boundary? by Julian Rohrhuber Draft by gasche cross-paradigm linkage by John Shutt interactive programming and embedding (edited) by Julian Rohrhuber Time and time again by John Shutt domain specificity by Julian Rohrhuber Relevance? by dmbarbour Imperative languages without mutable variables by johnwcowan Oleg has a page about the by naasking ...	Vladimir Slepnev	2017-12-01 12:08
Story	A Functional Quantum Programming Language Two more by Frank Atanassow	andrew cooke	2004-09-12 17:08
Story	A Functional I/O System (or Fun for Freshman Kids) Today by Pal-Kristian Engstad Not on LtU, but.. by Alexandre Richer Programming Environment for pre-schoolers? by sciomako Coolness factor by andrejbauer	neelk	2009-08-04 03:55
Story	A Functional Description of TeX's Formula Layout Nice find by Mark Evans	neelk	2007-06-16 22:21
Story	A functional correspondence between evaluators and abstract machines Interesting links! I'll by naasking It's wired in by Derek Elkins I found the derivation of a by naasking A reference of the relevant papers by Derek Elkins Right by Andris Birkmanis I mentioned it a long time by Derek Elkins	Andris Birkmanis	2007-11-28 01:02
Forum topic	A fresh look at AOP - Use classes to define behavior, use aspects to compose behavior No not yet. I'm still by Sean McDirmid Anywhere to read about that? by Eivind Eklund Weird. I'm working on by Sean McDirmid	M Riccobene	2014-08-23 00:18
first page previous page next page last page