recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Dependent Types for Low-Level Programming Another hint: by HeikoWengler Deputy was done in the by HeikoWengler thanks by NickP except by NickP good stuff by NickP as seen by raould Typing 'C' by Keean Schupke That's my understanding by HeikoWengler Liquid types are dependent types? by Keean Schupke I am not a type theorist... by HeikoWengler ...	naasking	2015-10-16 07:59
Story	Dependent Types for JavaScript Some second-hand experience by Ben L. Titzer Certainly, I found plenty of by Jules Jacobs Interesting! The part on by Jules Jacobs Don't get me wrong, I by Sean McDirmid +1 by gasche Real planes use Ada (and by Ehud Lamm Search for "airbus" by Andreas Rossberg Thanks this is very by Jules Jacobs I have two family members in by dmbarbour Do you have some links to by Jules Jacobs ...	naasking	2013-04-18 10:44
Story	Dependent Classes Even without reading the by Philippa Cowderoy C++ template classes by Mathias Gaunard I've been thinking about by naasking The Other DLL Hell by Philippa Cowderoy So what can't be done with static compilation? by Brandon Moore Getting JITery by Philippa Cowderoy Direct getters/setters by Kannan Goundan Sometimes it's useful to have a basket of fruit by Scott Johnson slow structs? by Scott Johnson Example by Klaus Ostermann ...	Matt Hellige	2007-11-25 05:26
Forum topic	Dependency injection via parameterized types (?!) CLR generics by Manuel J. Simoni Elusive Context by dmbarbour Satisfying Contracts by RM Schellhas Re: Benefits by dmbarbour Benefits by RM Schellhas Re-editable Configurations and Parameterized Modules by dmbarbour The trick to think about DI... by Dave Griffith If you renamed the "main" by barrkel Scala's type members by Kannan Goundan Makes the dependencies too visible by munificent ...	Manuel J. Simoni	2010-09-08 08:40
Forum topic	Dependencies as first class entities Another thought about dependencies by Mats Managed to post same comment by Mats After some more thinking by Mats Some thoughts on dependencies by Z-Bo I haven't read it completely by Mats Choice calculus by pjotr Dependencies in Felix by skaller Java annotations seems generic by Mats You might look at constraint languages for configuration by jfischer Codependencies by skaller ...	Mats	2013-02-02 09:19
Story	Departments in need... No, just chastised for not exploring by Derek Elkins History dept. by Simon Kongshoj I'll volunteer to contribute by Ehud Lamm history dept by Rys McCusker	Ehud Lamm	2006-05-21 19:27
Page	Departments	Anton van Straaten	2014-07-13 10:01
Story	Denotational Semantics: A Methodology for Language Development Another way to look at it by Marc Hamann Is "error" a natural number? by Andris Birkmanis	Ehud Lamm	2004-11-28 20:56
Forum topic	Denotational semantics with other notions of convergence What's your intuition for convergence? by Ohad Kammar Not misreading by Neil Toronto Operationally? by Douglas McClean	Neil Toronto	2010-07-04 10:11
Forum topic	Denotational semantics of a DSL? YAMTR by Derek Elkins Um, I should have mentioned t by Geoff Wozniak Thanks to everybody by Andris Birkmanis me too by Dave Herman Domain Specific by Marc Hamann My take by Ehud Lamm Ok then by Andris Birkmanis Abuse? by Ehud Lamm Is the early Pascal a general purpose language? by Andris Birkmanis Nature of types by Anton van Straaten ...	Andris Birkmanis	2005-04-15 19:14
first page previous page next page last page