Back to Results
First PageMeta Content
Software engineering / Computer programming / Pairing heap / Double-ended queue / Binomial heap / Skew binomial heap / Queue / D-ary heap / Heap / Abstract data types / Computing / Priority queues


Functional Data Structures for Typed Racket Hari Prashanth K R Sam Tobin-Hochstadt Northeastern University
Add to Reading List

Document Date: 2015-03-24 18:44:54

Open Document

File Size: 191,81 KB

Share Result on Facebook

Company

The times / Crane / SIAM Journal / Olin / PLT Scheme Inc. / Intel / /

/

Facility

Northeastern University / Stanford University / Cambridge University / List Library / /

IndustryTerm

software contracts / balanced binary search trees / printing / binary search / binomial queue algorithms / printing types / computing / binary search tree / /

NaturalFeature

Streams Streams / /

OperatingSystem

Linux / /

Organization

Mozilla Foundation / Ecole Polytechnique Federale de Lausanne / Cambridge University / Northeastern University / Computer Science Department / Stanford University / /

Person

Michael L. Fredman / T. Stephen Strickland / Van Horn / Robert Sedgewick / Bootstrapped Queue / Vincent St-Amour / Haim Kaplan / Daniel D. K. Sleator / Mark R Brown / Benjamin C. Pierce / Phil Bagwell / Chris Okasaki / Matthew Flatt / David Van Horn / Clark Allan Crane / Carl Eastlund / Matthias Felleisen / Jean Vuillemin / Sam Tobin-Hochstadt / Eugene W. Myers / David N. Turner / Jacob Matthews / Robert E. Tarjan / /

/

Position

first author / operation head / operations head / head tail enqueue Physicist / operations head / tail and enqueue / Physicist / Deque The Banker / Banker / programmer / /

Product

Typed Racket / Racket version 5.0.0 / Racket 5.0.0 / /

ProgrammingLanguage

R / K / Haskell / /

PublishedMedium

Journal of the ACM / SIAM Journal on Computing / Communications of the ACM / /

SportsLeague

Stanford University / /

Technology

Functional programming / Virtual Machine / Linux / API / Random Access / binomial queue algorithms / Java / /

URL

http /

SocialTag