Lambda the Ultimate

type	title	author	last post
Forum topic	What would be involved in moving logic beyond FOL? HIgher order vs higher order by Blaisorblade I might get the by Blaisorblade It seems you ask both about by Blaisorblade The topic is semantics but by Blaisorblade	Charles Stewart	2017-07-14 15:18
Story	Type Systems as Macros was SEQUEL new? by Blaisorblade	naasking	2017-06-25 11:19
Forum topic	Restructor: Full Program Automatic Refactoring "Copy and Paste Redeemed" by Blaisorblade	Wouter	2017-06-16 21:17
Forum topic	Finding Solutions vs. Verifying Solutions I should probably be more by Blaisorblade Retract, new try by Blaisorblade This definition is closely by Blaisorblade You are interested in the by Blaisorblade	Ivan V.	2017-05-29 18:23
Forum topic	A refutation of Gödel's first incompleteness theorem All Gödel sentences are undecidable in the same PM by Blaisorblade	Enrique Perez Arnaud	2017-05-25 18:11
Forum topic	Any thoughts on WanaDecrypt0r? Yes. Assuming sane managers, by Blaisorblade	marco	2017-05-21 21:12
Story	Contextual isomorphisms BTW yours could be a good SO answer by Blaisorblade That's the sort of questions by Blaisorblade I think you're right. What I by Blaisorblade Contextual equivalence for dependent types by Blaisorblade	gasche	2017-03-10 16:30
Story	Pycket: A Tracing JIT For a Functional Language I take that as frustration by Blaisorblade	gasche	2016-10-06 00:41
Forum topic	Is there a language with the ability to write arbitrary type functions? Rust trait's don't *always* by Blaisorblade	davidb	2016-08-24 18:18
Forum topic	Formalization and programming language design -- explained to all Non-scalable Lisp syntax?!? by Blaisorblade By far not enough by Blaisorblade I have seen that in the by Blaisorblade Intentionally abandon soundness?? Nope by Blaisorblade Can't fully separate engineering and formalization by Blaisorblade Confused on Lisp by Blaisorblade JVM-related warts or not by Blaisorblade Like s-expr by Blaisorblade Just this example by Blaisorblade Scalac is unpredictable to its authors by Blaisorblade ...	gasche	2016-04-01 05:40
Story	C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” I've just heard a talk by by Blaisorblade Basic "Visitor" doesn't solve the expression problem by Blaisorblade Standard mathematics is certainly unityped by Blaisorblade	Allan McInnes	2016-03-25 19:25
Forum topic	Logic Programming with Failure as an Exception "Negation as failure" is standard and sound in closed-world by Blaisorblade	Keean Schupke	2016-03-07 06:17
Forum topic	Whither actual generality/customizability/flexibility? Mathematics doesn't avoid the problem by Blaisorblade	raould	2016-03-06 14:59
Forum topic	Need to Talk End of the line??? by Blaisorblade Wait, you're not Matt Might? by Blaisorblade But I thought we knew we by Blaisorblade Community split? by Blaisorblade	marco	2016-02-02 05:56
Forum topic	Typed X (Racket, Clojure, Lua) just doesn't pan out? Just saw more similar work by Blaisorblade Opportunistic static typechecking? by Blaisorblade Performance problems and "Is Sound Gradual Typing Dead?" by Blaisorblade	raould	2016-01-31 00:31
Story	Static vs. Dynamic Languages: A Literature Review Haskell completely misses by Blaisorblade Not the main point by Blaisorblade I think you're describing a by Blaisorblade You got it by Blaisorblade You just described an by Blaisorblade No misuse, just using the by Blaisorblade That problem requires unsafePerformIO by Blaisorblade "Sapir-Whorf hypothesis" of static types by Blaisorblade Well, PL papers already by Blaisorblade Sources of biases by Blaisorblade	naasking	2016-01-11 06:22
Forum topic	Typed Data Different goals on simplicity by Blaisorblade	Andrew Moss	2015-12-31 08:59
Forum topic	Languages for SIMT Architectures But even (some of) your by Blaisorblade	Keean Schupke	2015-12-23 04:49
Forum topic	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" Early adopter vs stable by Blaisorblade Not really? by Blaisorblade Skepticism? by Blaisorblade	Sean McDirmid	2015-11-24 16:45
Story	Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega Sec. 3.3: An easy counterexample to the normalization barrier by Blaisorblade Yeah, but... by Blaisorblade Correction on previous work by Blaisorblade Typing is hard by Blaisorblade Typed reflection by Blaisorblade Their correctness theorem is restricted by Blaisorblade They don't claim to disprove by Blaisorblade	naasking	2015-11-18 18:04
Forum topic	Rumors in Complexity Theory No P vs NP by Blaisorblade	marco	2015-11-13 01:41
Forum topic	1ML — Core and modules united What about exposing existing types? by Blaisorblade "Parametricity" is that smoothness by Blaisorblade	Tom Primožič	2015-11-09 21:29
Forum topic	PL vs. PX I'm willing to believe that by Blaisorblade "Philosophical evaluation" by Blaisorblade Might have mentioned this by Blaisorblade Can still team up by Blaisorblade	Sean McDirmid	2015-10-26 18:24
Forum topic	On type safety for core Scala: "From F to DOT: Type Soundness Proofs with Definitional Interpreters" I'd like to highlight a by Blaisorblade	Blaisorblade	2015-10-24 14:35
Forum topic	Free JFP papers To get closer to their by Blaisorblade Maybe instead of "most by Blaisorblade	Ehud Lamm	2015-10-24 14:03
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