Based on the presentation of functional vectors in Conchon and Filliâtre, ML Workshop 2007, which in turn is based on Baker, CACM 1978.
The library provides functional vectors in two flavors: thread-safe, type disjoint, and structurally equal; or fast(er).
PLaneT Package Repository : PLaneT > dvanhorn > fector.plt
Here’s a comparison of both flavors against the random-access lists [...]
on twitter
Anyone looking for a hot shit young hacker who knows music, programming, and its intersection? (cc @ConductiveIO)
,@swannodette ... the first good reason I've heard for Stephen Wolfram being FAMOUS.
,@collapsing_star Quite competitive. It's one of the best PL groups in the world though, so that should be expected.
RT: @racketlang Racket v5.2.1 is now available: http://t.co/idX9eDTF
I'm glad I'm not applying to the PhD program at Northeastern for PL. I doubt I'd make it.
ACM SIGPLAN Haskell Symposium 2012, Call for Papers: http://t.co/sCzt9E9u
International Colloquium on Automata, Languages and Programming (ICALP 2012), CFP http://t.co/GMjHeQaM
Mathematical Foundations of Programming Semantics, CFP http://t.co/8NBTinYW
Postdoc in PL group at U Maryland with Hicks and Foster. http://t.co/XBJilZYN second announcement, much more open ended now
Postdoctoral Position in Computational Logic at CMU with Pfenning and Cervesato http://t.co/dTMwu1oX
Blogroll
- A Neighborhood of Infinity
- Aaron Hawley (Refusal Computing)
- Aaron Stump (QA9)
- Andrej Bauer (Mathematics and Computation)
- Close Encounters of the Logical Kind (Riccardo Pucella)
- Computing Community Consortium (CCC Blog)
- Computing Research Policy Blog
- Dave Herman (The Little Calculist)
- Jacob Matthews
- Jens Axel Søgaard (Everything Scheme)
- Jereme Mongeon (test2)
- Justin Henry (Green Galoshes)
- Lambda the Ultimate
- Lance Fortnow and Bill Gasarch (Computational Complexity)
- Matt Might (Professor Might’s Blog)
- Mike Machenry (Turing Complete Waste of Time)
- Phil Wadler
- Phillip Alvelda (All the Best Bits)
- PLT Scheme
- Untyped
- Wand Symposium and Festschrift