user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Recursive Descent Parser Generators Indirect Left Recursion by Alexander Morou I suspect interoperability by John Shutt Everything needs to be built in by Josh Scholar Usability for those using it by Ross Angle Interesting. As a Lisp person, by John Shutt They see syntax as something by Sean McDirmid Of course, LISP people don't by John Shutt For example, you could layer by Sean McDirmid Applicability & Layering by Brandon Bloom Focus by Alexander Morou ...	Alexander Morou	2015-07-14 06:50
Forum topic	Exporting the database More of a toy than a serious attempt at replacement by Andrew Moss my $0.02 is, go for it by raould	Andrew Moss	2015-07-08 08:43
Forum topic	Lamport: Interprocess Communication Simultaneous Overlap by Andrew Moss Not a global variable by Keean Schupke Really Actors? by Allan McInnes Simulated turtles by Allan McInnes Conceptually, particles are by naasking Example of hardware implementing Actors? by Allan McInnes Hardware example in ActorScript by Hewitt Metacircular by Allan McInnes ActorScript: direct implementation of Actor Model by Hewitt re turtles by Thomas Lord ...	Allan McInnes	2015-07-07 08:06
Story	Don Syme receives a medal for F# don't worry be happy by raould Implements the Actor Model too by marco And units of measure and by Jules Jacobs Re:F#'s innovations, don't by naasking Conflicted by Bárður Árantsson	Ohad Kammar	2015-07-06 18:06
Forum topic	Strengthening Process Calculi Magic by Andrew Moss Sure? by Andrew Moss UDP nits and unbounded nondeterminism by Thomas Lord A message can take a long time to be received by Hewitt Approximate correctness of concurrent programs by Ross Angle Drive-by comments by Matt M It means what you model by marco Signal message operations with "put" and "get" by Hewitt Communicating and Mobile Systems by Allan McInnes Are you sure? by marco ...	raould	2015-07-06 12:07
Forum topic	Compilation to C, a definitive guide? Thanks; in any case, this is not a Cheney bug by johnwcowan Eval should be a message to an expression of parameterized type by Hewitt No Idea by Keean Schupke Still generative by gasche Perhaps the winner of by Jules Jacobs It's messy by marco Type parameters can be tricky by Hewitt Not Invented Here by Keean Schupke Hybrid Types by Keean Schupke Ockham by John Shutt ...	naasking	2015-07-05 19:00
Forum topic	Some New Directions for ACP Research Models of Computation: Automata and Processes by André van Delft re I mean data structure by Thomas Lord I mean data structures by André van Delft re "well apply to structures of any kind of items" by Thomas Lord	André van Delft	2015-06-30 23:20
Forum topic	"Simple Made Easy" by Rich Hickey and subsequent discussion Language changes ... by johnwcowan fantastic by John Shutt I'm sorry to be pedantic... by ad1mt A previous version by Stuart by vieiro A Fantastic Presentation by Chris Perkins	shahbaz	2015-06-30 15:13
Forum topic	Who owns your research? Results of SIGPLAN Open Access survey Boilerplate by Keean Schupke expectations of readers (re Postpone 'might' do what I want...) by Thomas Lord Nullary Actors and Postpone by Keean Schupke lazy and strict (re arguments) by Thomas Lord Arguments, Values, and Nullary Functions. by Keean Schupke re messages and execution by Thomas Lord Messages and Execution. by Keean Schupke purity by Thomas Lord Determinate != Pure by Keean Schupke Ah Well by marco ...	gasche	2015-06-25 06:55
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) Still pondering this diagonalization by Ross Angle Oops by Ross Angle It needs to be fixed. by Keean Schupke LtU is garbeling Unicode :-( by Hewitt What font encoding by Keean Schupke How do I calculate using this model? by Keean Schupke Up to isomorphism, there is just one model of ℕ in Direct Logic by Hewitt Girad's paradox concerns the nonexistent universal type by Hewitt If I try to reason about numbers, I throw away numbers by marco Erasing to Girard's paradox? by Ross Angle ...	Hewitt	2015-06-25 00:05
first page previous page next page last page