Skip to content

Category Archives: Announce

Fector: Persistent Functional Vectors for Racket

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 [...]

ACM Computing Survey: Control-flow Analysis of Functional Programs

Jan Midtgaard’s excellent survey on CFA has been accepted by ACM Computing Surveys and is now “forthcoming”. It’s been a valuable resource to me and others; I recommend it to anyone interested in the literature on CFA.

http://www.brics.dk/~jmi/Midtgaard%3aCSur10.html
Control-flow Analysis of Functional Programs
Jan Midtgaard, ACM Computing Surveys, 2010, forthcoming
Abstract
We present a survey of control-flow [...]

NEPLS, March 4 @ Northeastern

The next New England Programming Languages and Systems Symposium will take place on March 4th at Northeastern University. Please mark it in your calendars!
The speaker selection committee solicits talks for this meeting. To propose yourself or someone else, send a title, list of authors, and a brief description. You may provide UP [...]

TFP 20101 Best student paper

Evaluating Call-By-Need on the Control Stack won the best student paper award at TFP 2010. The citation reads:

This thought-provoking paper combines theory and practice in a novel method for call-by-need evaluation. It uses the control stack and de Bruijn numbers for resolving variable references and incorporates a compacting, garbage-collection-like algorithm to keep the stack [...]

ICFP 2011, Tokyo, Call for Papers

The 16th ACM SIGPLAN International Conference on Functional Programming, which will be held in Tokyo, Japan, September 19-21, 2011. The Call for Papers has been posted. Submissions are due March 24, 2011. Submit!

ICFP 2011 seeks original papers on the art and science of functional programming. Submissions are invited on all topics from [...]

@lambda_calculus micro blog

I’ve set up a twitter account, @lambda_calculus, to post small, timely things related to this blog. Please subscribe and publicize to your heart’s content.

Postdoc opportunities at UPenn, Harvard, and Northeastern

Applications are invited for postdoc positions in the areas of programming languages, formal verification, operating systems, and hardware design at the University of Pennsylvania, Harvard University, and Northeastern University.
The hosting project, SAFE (Semantically Aware Foundation Environment), is part of CRASH, a larger DARPA-funded effort to design new computer systems that are highly resistant [...]

Abstracting Abstract Machines: Storing and stacking continuations

We’ve been working on two techniques for systematically deriving abstract interpretations approximating canonical machines for higher-order languages. The first allocates continuations in a bounded store to achieve a finite state-space. We demonstrate the generality of this approach by transforming classical abstract machines into abstract interpreters.

Abstracting Abstract Machines.
David Van Horn and Matthew Might.
The 15th ACM SIGPLAN [...]

IBM PL Day

IBM Programming Languages Day
July 29, 2010, Hawthorne NY
The eleventh annual Programming Languages Day will be held at the IBM Thomas J. Watson Research Center on Thursday, July 29, 2010. The day will be held in cooperation with the New Jersey and New England Programming Languages and Systems Seminars. The main goal of the [...]

Plotkin given SIGPLAN achievement award

Gordon Plotkin was awarded the SIGPLAN achievement award at this year’s PLDI.

Professor Gordon D. Plotkin has made fundamental advances in almost every area of the theory of programming languages. His contributions have helped to establish the mathematical foundations on which the scientific study of programming languages are based. His 1975 paper “Call-by-name, Call-by-value, and the [...]

  • Buy Cheap levitra informatrion Online 24/Online Pharmacy. Free Viagra Pills!
  • Buy Cheapest uses for amoxicillin Online Cheap Prescription Drugs. Best Internet.
  • Buy Cheapest mexican pharmacy online purchase Now Top Online Pharmacy Supplier. Best Prices.
  • Buying Cheapest zovirax order. Mexican Rx, Best Prices. Free Viagra Pills!
  • Buy Cheap azithromycin dosage Online Pharmacy Store. Cheap Pharmacy Online.
  • highest safe dose of levitra Online Without Prescription Best Online. Pharmacy Store.
  • Buy Cheap jellys sildenafil Online Best Online. Buy Medications Online.
  • Buy Cheapest order xanax no prescription Online Low Prices. Online Prices For order xanax no prescription!
  • Buy Cheapest on-line india drugstores Online Pharmacy Store. Cheap Online Pharmacy.
  • Buy Cheap prescription drug lorazepam Online Discount Online Pharmacy. Pharmacy Store.
  • Buy Cheapest vardenafil 10 mg Online Discount Pharmacy Online. Best Internet.
  • Buy Cheap levitra doses Online Online Prices For levitra doses! Pharmacy Store.
  • Buy Cheapest viagra side affects Online Best Drugstore. Free Viagra Pills!
  • Buying Cheap canada pharmacy online. Offshore Rx, Best Prices. Top Online Pharmacy.
  • appetite control supplement Online Without Prescription WorldWide Shipping. Low Prices.
  • drug store ultram Online Without Prescription Pharmacy Store. Low Prices.
  • Buy Cheap medicine avodart Now Online Medical Shop. Guaranteed Shipping.
  • Buying Cheapest valium effects. Mexican Pharmacy, Good Prices. Best Prices.
  • Buy Cheap quitting zyban Online Best Drugstore. No Prescription Needed.
  • Buy Cheapest ambien withdrawal side effect Now Best Prices. Special Prices For ambien withdrawal side effect!
  • Buy Cheap prescription appetite suppresents Now WorldWide Shipping. Guaranteed Shipping.
  • Buy Cheapest buy alprazolam cheap Now Discount Online Pharmacy. Best Drugstore.
  • Buy Cheap buspar generic Now Free Viagra Pills! Drugs, Health And Beauty.
  • Buy Cheapest cheap cialis india Now No Prescription Needed. Best Drugstore.
  • Buy Cheap success clomid Now Online Prices For success clomid! Pharmacy Store.
  • Buy Cheap fda approved adult diet pills Now Online Medical Shop. Cheap Online Pharmacy.
  • Buy Cheap viagra viagra Online Special Prices For viagra viagra! Best Online.
  • Buy Cheapest viagra without prescription Now Online Prices For viagra without prescription! Best Drugstore.
  • Buying Cheap solutions for obesity. Mexican Pharmacy, Best Prices. Best Drugstore.
  • Buy Cheap weight loss pill Now Cheap Prescription Drugs. Guaranteed Shipping.
  • Buy Cheapest cheap generic viagra Online Best Online. Online Medical Shop.
  • Buy Cheap headache medicine strongest prescription Now Free Viagra Pills! Cheap Prescription Drugs.
  • Buy Cheapest xanax online Now Best Drugstore. Online Medical Shop.
  • Buy Cheapest appetite suppressing Now Low Prices. The Largest Internet Pharmacy.
  • Buy Cheap long term anxiety treatment Now Free Viagra Pills! Cheap Online Pharmacy.
  • Buy Cheap internet pain medications Online WorldWide Shipping. Free Viagra Pills!
  • Buy Cheap order xenical online Online Pharmacy At The Best Price! Best Online.
  • Buy Cheapest xanax benefits Now Pharmacy Store. Pharmacy At The Best Price!
  • info propecia Online Without Prescription Low Prices. Best Drugstore.
  • cheap antidepressant pills Online Without Prescription Low Prices. Best Internet.
  • Buy Cheap roundworm treatment Now Free Viagra Pills! 24/Online Pharmacy.
  • Buy Cheapest effects ambien Online Best Drugstore. Top Online Pharmacy.
  • Buy Cheap treatment for rheumatoid arthritis Now Best Online. Top Online Pharmacy Supplier.
  • Buy Cheap nexium pills Now Cheap Online Pharmacy. Top Online Pharmacy.
  • Buy Cheap buy viagra in the uk Now Cheap Online Pharmacy. Guaranteed Shipping.
  • Buy Cheap valium and migraine headaches Online Best Drugstore. Online Prices For valium and migraine headaches!
  • Buy Cheap fda approved us online pharmacy valium Online Free Viagra Pills! WorldWide Shipping.
  • Buy Cheapest burn fat Now Low Prices. Pharmacy At The Best Price!
  • how to relieve ear pain Online Without Prescription Best Internet. Best Prices.
  • Buy Cheap prescription drug prices Online Best Drugstore. Special Prices For prescription drug prices!
  • Buy Cheap very cheap tramadol Now Discount Online Pharmacy. Top Online Pharmacy.
  • Buy Cheap buy canada levitra Now No Prescription Needed For Drugs. Best Online.
  • Buy Cheapest indian cialis Online No Prescription Needed. Best Online.
  • Buy discount viagra generic Without Prescription Doctor. Low Prices. Pharmacy Store.
  • Buy Cheap online prescriptions xanax valium Online Pharmacy At The Best Price! Best Internet.
  • Buy Cheapest find viagra online Now Best Drugstore. No Prescription Needed.
  • Buy ambien health Online Without Prescription. Best Prices. Best Internet.
  • Buy Cheap phentermine on line consultation Now Best Internet. Discount Online Pharmacy.
  • Buy Cheapest cialis tadalafil Online Best Internet. Online Medical Shop.
  • Buy cvs pharmacy online Without Prescription Doctor. Pharmacy Store. Low Prices.
  • Buy Cheap 2mg yellow xanax Online Best Internet. Online Prices For 2mg yellow xanax!
  • Buy Cheapest insomnia pharmacy Now Best Prices. Top Online Pharmacy Supplier.
  • Buy Cheap ultram buy ultram Online Pharmacy Store. Cheap Online Pharmacy.
  • Buy Cheapest mail order vitamin supplements Online Cheap Pharmacy Online. Low Prices.
  • Buy Cheap cialis soft tabs Online Pharmacy Store. Online Medical Shop.
  • Buy Cheap pharmacies online with lorazepam Now Online Medical Shop. Drugs, Health And Beauty.
  • Buy Cheapest phentermine with no prescription Online Internet Prices For phentermine with no prescription! Best Online.
  • Buy Cheap viagra super active Online 24/Online Pharmacy. Free Viagra Pills!
  • Buy Cheapest discount viagra generic Now 24/Internet)(safe Pharmacy. Low Prices.
  • pain pills online thailand Online Without Prescription Best Prices. Best Drugstore.
  • Buy Cheap cure for chlamydia drugs Now Cheap Online Pharmacy. 24/Online Pharmacy.
  • Buy Cheap phentermine buy online Now Buy Medications Online. Free Viagra Pills!
  • Buy Cheap ordering pain killers Now Free Viagra Pills! Cheap Pharmacy Online.
  • Buy spironolactone 25mg Online Without Prescription. Pharmacy Store. Low Prices.
  • Buy Cheapest sildenafil citrate 100mg Online Best Prices. No Prescription Needed.
  • Buy Cheap phentermine online no prescription Now 100% Satisfaction Guaranteed. Pharmacy Store.
  • Buy Cheap viagra difference in mg Online Online Medical Shop. Guaranteed Shipping.
  • Buy Cheap buy generic levitra online Online Discount Pharmacy Online. Low Prices.
  • Buy Cheap cialis profesional Now Best Online. Internet Prices For cialis profesional!
  • Buy Cheapest legal online pharmacy Now Free Viagra Pills! Online Medical Shop.
  • Buy Cheap mail order pain medication Online Best Drugstore. Discount Online Pharmacy.
  • Buy Cheap online pharmacy phenergan Online Best Internet. Discount Online Pharmacy.
  • Buy Cheap medicine cialis Now All Medications Are Certificated! Best Online.
  • Buy Cheapest buy lasix online Now Online Prices For buy lasix online! Low Prices.
  • Buy pain meds prescription free Online Without Prescription. Internet Prices For pain meds prescription free!
  • Buy Cheapest xanax cod Now Online Medical Shop. Guaranteed Shipping.
  • Buy Cheapest generic cialis soft Online Free Viagra Pills! Pharmacy Store.
  • Buy Cheap prescription weight loss medication Online Pharmacy Store. Guaranteed Shipping.
  • Buy Cheap klonopin 2mg Now Discount Online Pharmacy. Free Viagra Pills!
  • Buy Cheap effects of zoloft Now Cheap Pharmacy Online. Guaranteed Shipping.
  • Buy Cheapest canadian prescription medications Online Free Viagra Pills! Online Medical Shop.
  • Buy Cheapest order xanax Online Best Online. Top Online Pharmacy.
  • Buy Cheapest medication for anxiety Now Pharmacy Store. Pharmacy At The Best Price!
  • Buy Cheap generic sleep aid Online Best Prices. No Prescription Needed.
  • Buy Cheapest cialis super viagra Online Best Prices. Buy Medications Online.
  • Buy Cheap narcotic pain killers Online Best Internet. Cheap Pharmacy Online.
  • Buy Cheap citrate sildenafil Now Best Drugstore. Cheap Prescription Drugs.
  • Buy Cheap buy clomiphene Now Best Internet. Special Prices For buy clomiphene!
  • Buy Cheap online pain prescription Now All Medications Are Certificated! Best Prices.
  • Buy Cheapest medrol dose Online Best Online. Buy Medications Online.
  • google

    google

    asus