recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Derivation and Evaluation of Concurrent Collectors Concurrent Caml Light by Jed Davis C# has a concurrent GC. by naasking What existing language systems use concurrent GC? by James Hague follow up paper by lmeyerov	neelk	2007-10-05 16:51
Forum topic	Depth-first search in APL	ngn	2014-07-21 13:42
Forum topic	Deprecating the Observer Pattern Glitch-freedom between Vats by dmbarbour I somehow missed the middle by Ingo Maier I am aware of the by Ingo Maier Definitely. We are slowly by Ingo Maier ... and (almost) back from by lmeyerov Thank you! by neelk Me :) Here you go! Say try by Sean McDirmid scala.react Status? by Paul Snively If you have some kind of by Ingo Maier Re: Memoization by dmbarbour ...	Alex Cruise	2010-09-28 03:56
Forum topic	Depends on what "is" is I take it back... by andrewzboard coercive not by andrewzboard I agree with dmbarbour by Rehno Lindeque Not an integer by L Spice is snot by dmbarbour You could imitate Python by Eike Welk The path I have chosen is as by zacharyrsnow Why not indeed? by andrewzboard Freedom =? no rules by andrewzboard Exactly. And, having by Douglas McClean ...	andrewzboard	2010-02-03 18:16
Story	Dependently-Typed Metaprogramming (in Agda) Friday afternoon! by johnwcowan Great set of notes by Matt M Oh right by Matt M C-style indexing by Jeremy Feedback by Matt M	Ohad Kammar	2013-08-30 16:24
Story	Dependently Typed Programming based on Automated Theorem Proving Can I get it? by Dmytro How about ATS? by Dmytro What is elimJ? by j4n bur53	Jacques Carette	2012-02-22 18:59
Forum topic	dependent-types linear-types 101 ? thank you psnively by Isaac Gouy	Isaac Gouy	2008-09-22 15:36
Forum topic	Dependent types: literature, implementations and limitations ? There is basicaly no problems by Felicia Li Svilling So, reflection, extension and by Ehud Lamm Dependent type encodings in Haskell or ML by Oleg Elaborating on Derek's comments... by neelk Your understanding is right by Derek Elkins C's void is unit in most cases by Andris Birkmanis Void and void * in C by johnwcowan My bad by David Teller Void type by Andris Birkmanis Food for thought by David Teller ...	David Teller	2005-11-24 11:55
Forum topic	Dependent Types, Generic Programming and Overloading. Interesting example in Coq by Serguey Zefirov I did not implement it. by Denis Bredelet -jido Dependent values by Denis Bredelet -jido Parametric polymorphism by mrd Dependent types are types by Matt M I was looking at a new by Denis Bredelet -jido Aldor is a dependent-typed programming language with overloading by billpage Rewriting logic by Charles Stewart Coq gets typeclasses by Gavin Mendel-Gleason	Serguey Zefirov	2008-05-23 00:35
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
first page previous page next page last page