jamii | Lambda the Ultimate

jamii

view
track

type	title	author	last post
Forum topic	Continuous feedback in PL We've done a bunch of work by jamii	Sean McDirmid	2015-08-21 14:39
Forum topic	Limitations of FRP? The DRed algorithm is able by jamii Each fact in bloom is true by jamii Bloom handles this better, I by jamii	Sean McDirmid	2015-08-04 08:28
Story	Facebook open sources "Infer", static program analysis tool Check out by jamii	Z-Bo	2015-07-28 18:54
Story	Eve: the development diary of a programming environment aimed at non-programmers Debugging in datalog by jamii	gasche	2015-05-18 20:56
Forum topic	Why do we need modules at all? Although, thinking about it by jamii Ah, I see what you're by jamii Both analysis as-you-type by jamii Eve is very closely related by jamii We likely will in the next by jamii The database of functions by jamii	Sean McDirmid	2014-12-06 15:20
Forum topic	Eve development diary	jamii	2014-10-20 20:29
Forum topic	Taking Back Control (Flow) of Reactive Programming Bitsquid has a dual-mode gui by jamii	Sean McDirmid	2014-10-16 23:56
Forum topic	On constness The entity system described by jamii	Talin	2014-10-13 20:58
Forum topic	Do Logic Languages Need Negation? Are you using Datalog like by jamii You can represent pointers by jamii	Keean Schupke	2014-07-22 17:47
Forum topic	Artificial Intelligence Do let me know if you recall by jamii Dyna by jamii	Ivan V.	2014-06-25 12:51
Forum topic	Toward a better programming Would reading my email be by jamii It's plenty hard enough for me by jamii	ibdknox	2014-04-01 05:35
Forum topic	Booleans vs strings That's pretty convincing. by jamii I wonder to what extent by jamii We're planning to also have by jamii Yep, thats the plan. by jamii Given that the langauge is by jamii 1. The only condtional in by jamii	jamii	2014-02-15 22:49
Forum topic	"A Theory of Interprocess Communication" -- Leslie Lamport The concurrency constructs by jamii	Thomas Lord	2010-10-22 13:32
Forum topic	best superset language... To my knowledge, you by jamii	ceti331	2009-08-27 06:01
Forum topic	Coconut : Haskell code assembly on the cell processor	jamii	2009-01-05 15:49
Forum topic	Publishing negative results: single-assignment Lisp Redefinition in haskell by jamii	John Stracke	2008-10-07 14:08
next page last page