Lambda the Ultimate

type	title	author	last post
Forum topic	Research vs implementation, theory vs practice, and LtU Is C++ really OO-only? by Blaisorblade Good suggestions by Blaisorblade "Hobbyist" languages are built by communities by Blaisorblade The "official" answer I was (somewhat) taught by Blaisorblade Lambda as a core by Blaisorblade Preventing errors automatically — separation logic by Blaisorblade	Blaisorblade	2015-07-28 16:57
Forum topic	New paper: Theory of Programs No notion of computation? by Blaisorblade Rant on axiomatic methods by Blaisorblade	Bertrand_Meyer	2015-07-27 16:21
Forum topic	Functor You get correctly by Blaisorblade	marco	2015-07-27 09:23
Forum topic	When are Actors appropriate? Bad by Blaisorblade Don't add more nonstandard terminology by Blaisorblade Implement it by Blaisorblade "Logic" is not very restrictive by Blaisorblade What I find particular by Blaisorblade Haskell's type system is inconsistent as a logic by Blaisorblade Yes, undescribeable mathematical objects are fine by Blaisorblade Fallacy — infinities are confusing by Blaisorblade Then reals would be countable by Blaisorblade Not Tom by Blaisorblade ...	raould	2015-07-21 16:25
Forum topic	Fixed points considered harmful Many problems can be SAT-solved efficiently by Blaisorblade	Hewitt	2015-07-21 06:16
Forum topic	Who can make LtU2? Conflicted is normal by Blaisorblade Make up your mind by Blaisorblade Looking into it by Blaisorblade Production-quality GC is a matter of hundred of man years by Blaisorblade My dup by Blaisorblade Discourse allows forking conversations by Blaisorblade Markdown by Blaisorblade	raould	2015-07-19 21:56
Forum topic	Who owns your research? Results of SIGPLAN Open Access survey That was Turing's contribution by Blaisorblade Self-publishing unsatisfactory, walking from ACM by Blaisorblade What about preprints? by Blaisorblade It works now by Blaisorblade	gasche	2015-06-25 06:55
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) Reading this thread again, by Blaisorblade	Hewitt	2015-06-25 00:05
Story	Self-Representation in Girard’s System U Self-interpretation for Agda by Blaisorblade	naasking	2015-06-18 22:53
Forum topic	The evolution of Rust Effect polymorphism by Blaisorblade	qznc	2015-06-07 16:54
Forum topic	Types are fundamental to both logic and computation "crucial for Computer by Blaisorblade Agreed... by Blaisorblade Separate logic from Prolog by Blaisorblade Standard first-order logic by Blaisorblade Personally, I've read the by Blaisorblade No sky collapsing I'd guess by Blaisorblade Academia by Blaisorblade What do you mean with "type by Blaisorblade Proof theory is intuitionistic by Blaisorblade AFAIR ZFC cannot be proved by Blaisorblade ...	Hewitt	2015-06-02 11:07
Story	Composite Replicated Data Types: eventually consistent libraries as non-leaky abstractions Thanks for the counterpoint by Blaisorblade It'd be nice to be able to by Blaisorblade They deal with guarantees for existing techniques by Blaisorblade	gasche	2015-05-30 21:12
Forum topic	More information about Albatross For instance, substitution by Blaisorblade Idris supports proving programs correct by Blaisorblade Have you looked at CompCert? by Blaisorblade	hbrandl	2015-05-29 13:47
Forum topic	Generating compiler back ends at the snap of a finger Pragmatically... by Blaisorblade	raould	2015-05-28 15:24
Forum topic	message, stream and protocol typing Linear logic != linear types??? by Blaisorblade Wadler's papers by Blaisorblade	Rys McCusker	2015-05-25 23:37
Forum topic	EDSL for hardworking IT programmers Functional reactive programming by Blaisorblade	jmatsushita	2015-05-21 18:06
Forum topic	From Programming Language Design (PLD) to Programmer Experience Design (PXD) Why in our head? by Blaisorblade Reductio ad category theory by Blaisorblade I thought cross-building was standard? by Blaisorblade	Sean McDirmid	2015-05-20 12:15
Forum topic	The Programming Language Wars: Questions and Responsibilities for the Programming Language Community The AspectJ myth & its destruction by Hanenberg & others by Blaisorblade Stefik's studies by Blaisorblade	Phil Miess	2015-05-18 14:25
Forum topic	Five Paradigm Shifts in Programming Language Design and their Realization in Viron, a Dataflow Programming Environment Are you happy with computable/decidable proof-checking? by Blaisorblade That doesn't seem quite by Blaisorblade	Sean McDirmid	2015-05-10 16:17
Forum topic	Type Theory Glossary nLab... by Blaisorblade	naasking	2015-05-09 12:14
Forum topic	C++ Parser Combinator Library You mean First-class modules/virtual classes? by Blaisorblade Vs. Boost::Spirit? by Blaisorblade	Keean Schupke	2015-05-01 13:29
Story	ActorScript(TM): Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing Is there some good _introduction_ to the subject? by Blaisorblade	Andris Birkmanis	2015-04-25 23:47
Forum topic	Type Differentials Incremental computation at the type level? by Blaisorblade	Talin	2015-04-25 15:02
Story	A theory of changes for higher-order languages — incrementalizing λ-calculi by static differentiation Bob Atkey on the connection to parametricity by Blaisorblade Self-maintainable derivatives vs not by Blaisorblade	gasche	2015-04-24 13:57
Story	The Next Stage of Staging Better answers by Blaisorblade Here, I've dropped the by Blaisorblade "Everything old is new again: Quoted Domain Specific Languages" by Blaisorblade The author moved — here's Green Open Access by Blaisorblade Paper by Blaisorblade You need a good EDSL host by Blaisorblade JIT Instrumentation slows the code down [citation needed] by Blaisorblade Staging is easier than templates by Blaisorblade You're looking for what Lancet provides by Blaisorblade Could you elaborate? Here by Blaisorblade ...	naasking	2015-04-07 14:58
first page previous page 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