Eli Sennesh | Lambda the Ultimate

Eli Sennesh

view
track

type	title	author	last post
Forum topic	Constraint-Based Type Inference and Parametric Polymorphism Actually... by Eli Sennesh	Sean McDirmid	2015-02-13 23:43
Forum topic	Artificial Intelligence Any reasonable programming by Eli Sennesh Hi. Popping in to tell you: by Eli Sennesh	Ivan V.	2014-06-25 12:51
Story	Deca, an LtU-friendly bare metal systems programming language Irony! by Eli Sennesh David Jensen gave my "Research Methods" class a lecture on that by Eli Sennesh Not full predicate dispatch, still short of that by Eli Sennesh Pick a hard problem, drill at it until it throws off new ideas by Eli Sennesh Actually, there's a story ahead of those... by Eli Sennesh TINM -- There Is No Malloc by Eli Sennesh And I was hoping to someday live that down! by Eli Sennesh Oh, ok. by Eli Sennesh Systems collapse or evolution around a roadblock? by Eli Sennesh ATS is dependently typed and used for proofs by Eli Sennesh ...	Anton van Straaten	2014-04-23 16:10
Forum topic	An attempted approach to type inference with subtyping Nordlander's paper is by Eli Sennesh	Eli Sennesh	2013-07-23 21:22
Forum topic	So You are Thinking of Doing a PhD... Yes, we get it by Eli Sennesh	naasking	2013-07-03 13:51
Story	Object Algebras What's new here? by Eli Sennesh	James Noble	2013-03-16 14:38
Forum topic	What will programming look like in 2020? Monads will evolve, not disappear by Eli Sennesh	Sean McDirmid	2013-03-01 03:45
Story	If Programming Languages were <T> Girlfriends My Foot! by Eli Sennesh	Chris Rathman	2010-11-30 14:05
Forum topic	Is Small Still Beautiful? Re: That is what 95+% of by Eli Sennesh	scottmcl	2009-12-11 21:05
Story	Closures for C And the kitchen sink! by Eli Sennesh	Charles Stewart	2009-06-09 01:07
Story	Intel Ct: C for Throughput Computing Re: network effects by Eli Sennesh Stop Extending C++! by Eli Sennesh	Kay Schluehr	2009-05-22 21:07
Story	BEE3: Putting the Buzz Back into Computer Architecture Hear, hear! by Eli Sennesh	Luke Gorrie	2008-10-30 17:47
Story	First-class Macros Is It Even This Complicated? by Eli Sennesh	James Iry	2008-09-24 03:54
Story	Polymorphic Algebraic Data Type Reconstruction Sometimes I have to ask... by Eli Sennesh	James Iry	2008-09-12 09:57
Forum topic	Practical Bits of Making a Compiler for a New Language Local Type Inference by Eli Sennesh Thanks. by Eli Sennesh Context Arguments by Eli Sennesh You're Mostly Right by Eli Sennesh Really? by Eli Sennesh Point taken. by Eli Sennesh Multi-threaded kernels... by Eli Sennesh Jackpot! by Eli Sennesh OK then. by Eli Sennesh Re: Local Type Inference is Well by Eli Sennesh	Eli Sennesh	2008-08-05 22:36
Forum topic	Systems programming in languages other than C? Well if you're so set... by Eli Sennesh	Gregory Propf	2008-08-05 19:58
Forum topic	Functional Programming in the ACM CS Curriculum Well I'm No ACM Member, But... by Eli Sennesh	mwand	2008-07-19 22:42
next page last page