Lambda the Ultimate

type	title	author	last post
Forum topic	Certificates/proof of work of type checking? An asymptotic bound? by Kannan Goundan	naasking	2016-09-22 06:41
Forum topic	Snakes all the way down Surprised that an interpreter can compete with a JIT. by Kannan Goundan	raould	2014-12-24 15:49
Story	Apple Introduces Swift I'm not yet claiming that by Kannan Goundan Same page already? by Kannan Goundan Sum types. by Kannan Goundan	bashyal	2014-08-21 17:54
Story	Gilad Is Right Whoops by Kannan Goundan It's not static typing. by Kannan Goundan It's not just you. by Kannan Goundan	Erik Meijer	2014-03-23 13:38
Forum topic	"null" is to tagged unions as ???? is to records Oh, interesting. Can you by Kannan Goundan I don't think that analogy by Kannan Goundan	Kannan Goundan	2014-03-22 20:06
Forum topic	Less is more. Mischaracterization of Rust by Kannan Goundan	Rys McCusker	2014-01-19 13:05
Forum topic	Different approaches to letting a programmer define interface implementations.	Kannan Goundan	2014-01-15 04:00
Forum topic	Aha! Programming Language What's different? by Kannan Goundan	rmovchan	2012-10-19 03:50
Forum topic	In defense of semicolon Too broad? by Kannan Goundan Redundancy doesn't always enhance readability. by Kannan Goundan	Sean McDirmid	2012-10-08 22:32
Forum topic	Designing a languge — what theory is a must? Tricky by Kannan Goundan	pgregory	2012-09-28 19:01
Forum topic	Bob Harper of CMU is blogging about programming languages and introductory CS education Different reason? by Kannan Goundan	vrijz	2012-06-30 00:11
Forum topic	Coding at the Speed of Touch Just keep clicking. by Kannan Goundan	Sean McDirmid	2012-03-27 18:25
Forum topic	Small is Beautiful: the design of Lua But 'concat' doesn't make sense for maps. by Kannan Goundan I think some views are ok... by Kannan Goundan Details? by Kannan Goundan I'm talking about the model, not the implementation. by Kannan Goundan Simplicity is not a count of data structures. by Kannan Goundan	bashyal	2012-02-07 14:33
Forum topic	Proofs of a type system's safety? Why not? by Kannan Goundan	Steven StewartGallus	2011-12-07 13:24
Forum topic	Xtend. Yet another "better Java" language; this time from Eclipse. Built with Xtext.	Kannan Goundan	2011-11-25 21:06
Forum topic	Subsumption at all costs What is "semantic substitution"? by Kannan Goundan A violation of subsumption or of something else? by Kannan Goundan	bashyal	2011-10-13 19:18
Story	Why Object-Oriented Languages Need Tail Calls "live" vs "reachable" by Kannan Goundan	Leon P Smith	2011-10-01 21:58
Forum topic	Algebraic ABCs - Extending "types" in Python Community of one. by Kannan Goundan	acooke	2011-06-08 01:50
Forum topic	Nomenclature for impure functions "Side-effect free"? by Kannan Goundan	Alexandre Cossette	2011-04-28 03:28
Forum topic	Compiler framework, insight? Goal? by Kannan Goundan	Alexander Morou	2011-04-20 22:57
Forum topic	Redhat's New Language Fortress found readability issues. by Kannan Goundan Sometimes it's what you want. by Kannan Goundan	Noel	2011-04-16 03:10
Forum topic	What to do about comments? Representing all information, not just a slice by Kannan Goundan Preprocessing. Just say no. by Kannan Goundan	markt	2011-03-14 18:54
Forum topic	Schemas for JSON? Contact by Kannan Goundan Even more concrete? by Kannan Goundan More on the attribute/child distinction? by Kannan Goundan Thrift, Avro, Kwalify by Kannan Goundan	jbclements	2011-03-12 12:32
Forum topic	Object capabilities for protecting object slots in prototype-based languages? Not the entire method, right? by Kannan Goundan	Denis Washington	2011-03-10 02:17
Story	Generics: The Importance of Wildcards Mutablity? by Kannan Goundan Maybe they meant function call graph. by Kannan Goundan	Ehud Lamm	2011-01-14 15:36
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