Lambda the Ultimate

type	title	author	last post
Forum topic	Project Loom: adding fibers and continuations to Java The article seems to by Josh Stern Misc thoughts by Josh Stern	Rys McCusker	2017-12-21 21:21
Forum topic	On the (Alleged) Value of Proof for Assurance For the dynamic runtime, my by Josh Stern There may be a small penalty by Josh Stern Most people's dense natural by Josh Stern	shap	2016-11-24 01:04
Forum topic	Constraint-Based Type Inference and Parametric Polymorphism The technique critically by Josh Stern Just to clarify, that by Josh Stern Topic change is fine by Josh Stern You're making an by Josh Stern The C++ stdlib seems by Josh Stern With respect to type by Josh Stern Hm...err by Josh Stern Compared to what? by Josh Stern I'm not entirely sure why by Josh Stern various disagreements by Josh Stern ...	Sean McDirmid	2015-02-13 23:43
Story	seL4: Formal Verification of an Operating-System Kernel More details by Josh Stern	James Iry	2014-07-29 07:19
Story	Pure Subtype Systems Declarative subtyping by Josh Stern	naasking	2014-01-14 06:09
Forum topic	Static typing and direct AST manipulation "x86 Linux doesn't allow by Josh Stern	tkirchner	2013-11-15 01:52
Forum topic	When will we all have effect systems? Alternatives to text editor for source code by Josh Stern	raould	2013-07-01 20:38
Story	the gnu extension language What is convincing? by Josh Stern	Manuel J. Simoni	2013-06-28 14:23
Forum topic	Seeking thoughtful criticisms of functional programming and languages Hard to learn by Josh Stern	scottmcl	2013-03-31 00:40
Forum topic	How to handle errors That's a good argument for by Josh Stern RAII plus improved signatures by Josh Stern	Mats	2012-11-09 05:58
Story	Informed dissent: William Cook contra Bob Harper on OOP I was thinking about D. D by Josh Stern You mean C++ is an OOPL but by Josh Stern Thanks for the reference. by Josh Stern I'm not familiar with by Josh Stern Coding in most imperative by Josh Stern I'm not finding the "debate" by Josh Stern	Ehud Lamm	2012-09-29 09:12
Forum topic	Why and How People Use R Sorry for the mis-threading by Josh Stern Luke Tierney, the main by Josh Stern R and Matlab by Josh Stern	Charles Torre	2012-05-14 20:31
Story	A Concept Design for C++ The PL context would be generic programming by Josh Stern	James Iry	2012-03-04 21:35
Story	Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic Higher order logics can by Josh Stern	Paul Snively	2012-02-29 19:59
Forum topic	Embedding Prolog in Haskell When I wrote "use case" I by Josh Stern The SOCI approach is by Josh Stern Sketching an example of what by Josh Stern Interesting. I would by Josh Stern We've gotten really focused by Josh Stern 1)Since you are talking of by Josh Stern You will always need some by Josh Stern The naming issues may be by Josh Stern Namespaces are important in by Josh Stern When you say "these are the by Josh Stern ...	Frank Atanassow	2012-02-13 17:04
Story	Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations I'm apparently not reading by Josh Stern One often sees undefined by Josh Stern	Paul Snively	2012-02-09 18:04
Forum topic	Graphics primitives? The output that people see by Josh Stern As for PDF/PostScript, it by Josh Stern Adobe PDF is one standard by Josh Stern	danbst	2012-01-27 14:10
Story	Yacc is dead I mentioned that one by Josh Stern In fact it can't be any more by Josh Stern This sounds like interesting by Josh Stern	James Iry	2011-08-10 17:06
Forum topic	Why Programming Languages? Aspect oriented programming by Josh Stern Language as a useful artifact by Josh Stern	Andy Wingo	2011-07-03 04:39
Forum topic	Type systems for structured languages I've thought about this by Josh Stern	Sean McDirmid	2010-12-29 00:36
Story	A Preliminary Survey on Functional Programming I don't see call by name as by Josh Stern Design of a survey, by Josh Stern Any version would be by Josh Stern Survey I would like to see by Josh Stern	Ehud Lamm	2010-12-14 05:28
Forum topic	Inconsistency Robustness 2011 at Stanford I read the call, and I by Josh Stern Philosphy stuff by Josh Stern	Hewitt	2010-12-07 14:15
Forum topic	expressivity of "idiomatic C++" Parsimony by Josh Stern	el-vadimo	2010-11-10 22:56
Forum topic	The barrier to take-up of language innovation The examples I've seen held by Josh Stern True, sort of. Template by Josh Stern If *all* the properties of a by Josh Stern It is possible in C++ to by Josh Stern Ok. Well C++ is a by Josh Stern The important points are by Josh Stern I don't agree, but I'm not by Josh Stern "I am not so much concerned by Josh Stern Template arguments can be by Josh Stern C++ has dependent types by Josh Stern ...	ad1mt	2010-11-06 03:26
Forum topic	Overlapping Instances + Functional Dependencies Unsound? Haskell's module system by Josh Stern	shap	2010-08-08 15:11
next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation