Here's an online text book (or is it a set of lecture notes?) from Shriram Krishnamurthi's Programming Languages class at Brown. It's quite readable. I'm currently reading through the section on Semantics and Types. If you found the Advanced Functional Programming Wiki useful, then you may like these as well.
I haven't gotten too much out of the "Semantics and Types" section yet, because I'm already familiar with the material. However, Shriram has sprinkled the text with occasional remarks that go beyond the details of the material to give the reader a refreshing wide-angle view of the subject in context. It's these remarks that keep me reading. For example:
In languages like Java, programmers think they have the benefit of a type system, but in fact many common programming patterns force programmers to employ casts instead. Casts intentionally subvert the type system, leaving most of the validity checking for execution time. This indicates that Java's evolution is far from complete. In contrast, most of the type problems of Java are not manifest in a language like ML, but its type system still holds a few (subtler) lurking problems. In short, there is much to do before we can consider type system design a solved problem.
I need to remember to make a local copy of both of these sites (the textbook and the wiki) once the semester ends. Their URL's look worryingly ephemeral.
Followups to Programming Languages Textbook:Posted on November 20, 2003 01:00 AM
More languages articles
I recently found myself explaining to a java-trained coworker why casts were bad and to be avoided when possible (the context of this discussion was he was doing some C++ stuff). It made me sad that he didn't see anything wrong with the compiler forgetting what type something was and having to be told.
Posted by: Jesse at November 20, 2003 11:06 AMI once decided to implement typecase in Java - I don't know if I mentioned it here before or not (I commented a few weeks ago on something or other). Anyway: http://www.cs.drexel.edu/~ummaycoc/Type.java
It would obviously be better if there was automatic built in support for mirroring classes with the appropriate exceptions, etc. Of course, it's a bit over the top.
Posted by: Matt at November 20, 2003 06:42 PMugg boot australia
bailey button ugg sale
ugg classic cardy cheap
classic cardy ugg sale online
ugg unique bailey button
Thanks for your useful info, I think it’s a good topic. So would you like the info about the
jordan shoes
Air jordan shoes
cardy ugg boots
Tiffany Jewelry
ugg bailey button boots
cheap jordan shoes
ugg boots uk
Michael jordan shoes
ugg london
ugg nightfall boots
ugg boots sale
classic ugg boots
sundance ugg boots
air jordan fusion 6
air jordan 6 rings
jordan shoes for sale
Cool post!
Posted by: free games online at October 25, 2009 04:17 PMThese Women's Classsic Tall 5815 Boots in pink flower print can either be worn at their normal height if you want Ugg boots, but in order for you to create a more casual look to what you are wearing they can be pushed down Women's UGG Classic Tall 5815 Boots in Baked Clay
Posted by: ugg boots on sale at October 27, 2009 02:25 PMGood ! I like it ! Welcome to read following news: ugg boots,Nike dunk sb,discount ugg boots, uggs ,nike dunk low,ugg boots sale,UGG Bailey Button boots,new nike sb,UGG Classic short boots,UGG Nightfall boots,cheap nike dunks,UGG Classic tall boots.
Posted by: ugg boots at October 27, 2009 10:33 PM[url=http://www.flashreplica.com]louis vuitton[/url]
Posted by: lv at October 28, 2009 04:10 AMLove this man. Great stuff, great prices, free shipping. Email him if you cant find what you are looking for and he will look for you. Good customer service.louis vuittonSomeone who is knowledgeable in louis vuitton.Another guy from hong Kong (Largest louis vuitton second hand city, I believe) he has great stuff at fair prices but his shipping is insane
Posted by: louis vuitton at October 29, 2009 08:04 AMGood News For you,Ugg Boots Sale on www.addboots.com, you can find cheap ugg boots in ugg store,there are ugg classic short boots , ugg classic tall boots,ugg classic cardy boots, ugg classic mini boots , ugg ultra short boots , ugg ultra tall boots , ugg baby boots and you can find the most popular boots,it is the newest style this year, ugg bailey button boots , you can enjoy free shipping if you buy now! don't wait to the winter as the price is cheaper than that at that time!!! come on!!
Posted by: cheap ugg at October 30, 2009 08:25 AMUgg
Ugg Boots
Cheap Ugg
New Ugg Boots
Ugg Boot
Ugg Classic Boots
Cheap Ugg Boots
Uggs on sale
Uggs
Ugg Boots
Cheap Ugg Boots
Ugg Classic Boots
Ugg Boots Sale
Supra Shoes
Mens Supra Cruizer Shoes ---Special
Men's Supra Cruizer Red Shoes
Mens Supra Cruizer Cool Shoes
Mens Supra Cruizer Shoes --Charming
Mens Supra Cruizer Pure black Shoes
Mens Supra Cruizer Shoes --Leisure
Man's Supra Cruizer Shoes
Men's Supra Muska Skytop Shoes
Men's Supra Skateboarding Shoes
Men's Supra Strapped Shoes
Men's Supra Suprano High Shoes
Women's Supra Muska Skytop Shoes
cheap ugg boots sale
uggs classic mini sale
UGG Ultra Tall Boots
Cheap Ugg Boots
UGG Classic Tall Boots
UGG Classic Cardy
UGG Classic Short Boots
Eliminating the need for the extra trouble to wear ugg boots uk 、
ugg boots sale、 uggs, in the extreme sports, look for happiness in life, with UGG Classic boots and nike sb showed off your tall body, do not worry about being laughed at, dancing new style ugg australia and nike sb dunk . The flavor of life that is colorful, there are Christian Louboutin 、cheap nike dunks、UGG cardy boots、and nike sb for sale also used fear to creep away money from your pocket Mody ? Love beauty, you might even love UGG Classic tall boots 、UGG Nightfall boots、UGG Classic short boots、new nike sb。There are an infinite high power drivers of popular front ugg boots sale、ugg sale、uggs、nike dunk、discount ugg boots、nike dunk sb, our website also have UGG Nightfall boots、button ugg boots、bailey button ugg、ugg button boots、bailey button boots、nike dunk mid、nike dunk high、Christian Louboutin Boots, pick your favorite, do not hesitate!
People all over the world know the abercrombie and fitch,but not everyone really knows how fashion the abercrombie is,hollister is the Legend maker. Everybody wears the hollister clothing would be the abercrombie mensand the abercrombie womens, if you want know you can search the Ruehl No.925 or abercrombie outlet in the www.google.com .
Posted by: anf at November 13, 2009 12:50 AM replica handbags
replica designer handbags
gucci Handbags
fendi Handbags
Louis Vuitton handbags
LV Handbags
Prada Handbags
Bottega Veneta Handbags
Burberry Handbags
Hermes Handbags
Jimmy Choo Handbags
Miu Miu Handbags
Play with the Most Expensive Handbags-Chanel Classic and Chanel 2.55
Louis Vuitton Released Two Monogram Watch Cases
Juicy Couture Leather Crossbody Hobo Bag
Nico Shearling Satchel by Tory Burch
Hello Kitty 35th Birthday Collection: Bags, Pendant Set and Music Player
Tag Heuer Aquaracer 500m Caliber 5 Leonardo DiCaprio Limited Edition-WAJ2116.FT6022
Horological Machine 2.2 by MB&F and Alain Silberstein
Coach Poppy Signature Zip Around Wallet
Haute Joaillerie Timepieces from Piaget 2009 Limelight Collection
Audemars Piguet Millenary Carbon One Tourbillon Chronograph
Patek Philippe Ladies First Chronograph Ref. 7071R and CH 29-535 PS caliber
Raymond Weil Freelancer Rose Gold Date Chronograph
Girard Perregaux 1966 Chronograph Review
Uggs on sale now.UGG Classic Cardy Boot makes me different form the other
girls. The UGG Bailey Button Boot is a good choice for female.
Posted by: ugg classic cardy boots at November 17, 2009 12:09 AMLouis Vuitton , commonly referred to as Gucci and Louis Vuitton, or sometimes shortened to Mont Blanc has become one of the most Swarovski Mirror Agendas luxurybrands Tiffany Co UGG .
Posted by: 1 at November 17, 2009 01:31 AMUGG Bailey Button bootsis a new style in 2009.The classic cardy uggs boots is another hot boots that worth of buying.And the classic tall ugg boots will make your winter amusing.And now uggs on sale,if you are looking for such a boot,the ugg boots is good choice this year.
Posted by: UGG Bailey Button Boots at November 17, 2009 01:37 AMI love Women's UGG Classic Cardy Boot 5819 very much. And the new style UGG Mayfaire Boots is aslo a good choice this year.
Posted by: UGG Bailey Button Fancy Boots at November 17, 2009 03:34 AMThey really don't have a shape to them, make women look like they have big feet, and they also look like you're walking around in public with slippers .. That's ugg boots! Lol!!! Uggs boots on sale, i will buy one pair!
Posted by: ugg boots at November 17, 2009 08:32 PMGood day! Thx for your great post and Im thinking about how to introduce my ugg boots to you cos Im not sure if u like this. Many people who live in the cold area like the ugg boots, especially the north-europe. Our uggshare.co.uk supply the cheapest classic cardy ugg boots, class tall ugg boots, classic short ugg boots and other series of uggs, hope my words didn’t trouble u, cy!
Posted by: ugg boots at November 17, 2009 09:21 PMlxjuan08ed hardyis a famous ed hardy store which sell directly ed hardy clothing, shoes, boots, swim suit and other cheap ed hardy.
lxjuan08ed hardyis a famous ed hardy store which sell directly ed hardy clothing, shoes, boots, swim suit and other cheap ed hardy.
Buy ugg boots
cheap ugg boots
ugg boots sale
cheap uggs
ugg boots online
uggs on sale
ugg cardy boots
ugg boots on sale
Buy ugg boots
cheap ugg boots
ugg boots sale
cheap uggs
ugg boots online
uggs on sale
ugg cardy boots
ugg boots on sale
Rolex Sea-Dweller watch for sale
Rolex Day Date watch for sale
Rolex Masterpiece watch for sale
Rolex Milgauss watch for sale
Supra Shoes
Supra Skytop Shoes
Supra Society
Supra Thunder
Supra Suprano Hi
Supra Strapped
Supra Trinity
Supra Skylow 1.5
Supra Dixon
Diablo 1.5
Supra Cruizer
Supra Vaider Shoes
Supra Cuban
href="http://www.mytobling.com/ugg-mayfaire-boots-c- 99.html">ugg mayfaire boots
What forms of payment do you accept for this
My wife has very cute, nice and beautiful feet, and when she wears UGG classic cardy boots after her pedicure I go crazy. Yesterday i find a store is uggs boots on sale, i will buy one for my wife for her birthday present next week!
Share more uggs boots on sale on http://www.buddyugg.com
We are the best online sales for the china wholesale . Here you can have a large of choices of kinds Ugg Boots,Converse Shoes,Timberland Boots,puma shoes,Nike Shox Shoes ,Nike Dunk SB Shoes,Nike Air Max，Links Of London,Tiffany Jewelry,Dior Handbags?,jimmy choo handbags ,Cartier Watches, 8GB Mp4 Players,Bluetooth Car DVDs. All our cheap online cheap goods are high quality and original packages, and best service. We offer our customers the best service, 7 days arrive at your door.Enjoy your easy and happy shopping with us.
Do you like sports? If you like it,the NIke Air Max TN and Nike Air Max 360 is a good choice for you.And now the there is a good news,CheapNike Air Max running Shoes is waiting for you.I think The New Nike Air MAX 2009 Running Shoes makes you great comfortable.
Posted by: Nike Air Max shoes at November 20, 2009 03:40 AMxiaorong Auction house Antiquorum auctioned off a very rare vintage chronograph Patek Philippe that
replica watches
replica watches
replica Jaeger LeCoultre watches
replica watches
replica watches
replica A.Lange&Sohne watches
replica watches
replica watches
replica Breitling watches
Your article is write very well, I like it very much ~
ghd Hair Straightener
ghd Hair Straighteners
ghd straighteners
GHD
hair straighteners
bose in ear headphones
bose on ear headphones
bose headphones
nike sb dunks
nike dunks
I wish you have a wonderful day!Thank you.
Timeberland boots on sale now! Do you want moreTimeberland boots information?Just move your mouse and press it to our Timberland shoes online store.
Posted by: Timberland uk at November 23, 2009 01:31 AMLaptop Battery Laptop Battery Laptop Batteries
Laptop Batteries discount laptop battery
discount laptop battery
notebook battery notebook battery
computer battery computer battery
replacement laptop battery replacement laptop battery
notebook batteries notebook batteries
discount nike air yeezy
china wholesale online
discount ugg boots
nike free shoes
furture
ugg boots
Discount store
rongTiffany Jewelry Online - Discount Tiffany & Co Jewelry On Sale
Hot Sell Tiffany Jewelry - Tiffany Jewelry Online
Return To Tiffany Double Heart Detachable Pendant Necklace - Tiffany Jewelry Online
Tiffany&Co 1837 Titanium I.D. Bracelet - Tiffany Jewelry Online
Tiffany & Co Bead Bracelet - Tiffany Jewelry Online
Tiffany&Co Atlas Round Pendant Necklace - Tiffany Jewelry Online
Tiffany&Co Bar Pendant Necklace - Tiffany Jewelry Online
Tiffany&Co Bead Necklace(N242) - Tiffany Jewelry Online
Tiffany&Co Bean Pendant Necklace(N157) - Tiffany Jewelry Online
$75 Replica Rolex Watches sale, Our site provides Rolex replica, replica Rolex Watches, replica breitling, replica Cartier, replica Omega, Tag Heuer Watches. . .more than 100 famous rolex brands"
rolex air king
rolex datejust
rolex day date
rolex daytona
rolex gmt
rolex submariner
rolex yachtmaster
a lange sohne watches
alain silberstein watches
bell&ross watches
breguet watches
breitling watches
bvlgari watches
cartier watches
omega watches
patek philippe watches
chaoying nfl jerseys
Giants Jerseys
Patriots Jerseys
China Electronics Wholesale China
Phone Cheap Cell Phones
href="http://www.thechinaphone.com/index.php?main_page=advanced_search_result&keyword=China%20Wholesale">China Wholesale
replica handbags
Louis Vuitton Replica
Louis Vuitton handbags
fake Louis Vuitton bags
fake Louis Vuitton
replica rolex
replica rolex
fake rolex
buy cheap fake rolex
rolex Submariner
Paul Smith has been collaborating with a few different organizations recently and his latest venture sees him teaming up with Japanese bicycle saddle, Paul Smith bag, on a limited edition leather saddle. The release features Smith’s signature stripes where only 20 will be available at Paul Smith Clothing store in Japan and 8 at the Floral Street store in London. Get on it quick
Posted by: fafw at November 29, 2009 11:42 AMJust wanted to say great job with the blog, today is my first visit here and I’ve enjoyed reading your posts so far
ugg bailey button
Wow, my ugg classic mini will not be coming off now! I’ve had them on for 12hrs strait and I do not want to take them off. Thanks for everything, well worth the wait.
cheap replica watches
Franck Muller replica
Hublot replica
replica Louis Vuitton
Panerai watch for sale
miu miu handbags
Spring is near,every girl wants to be the bride in the special season.They are eager to put on beautiful Wedding Dresses or the Bridal gowns.During the day the Wedding gowns is the good choose,and the night,if you want radiant,you need the Evening gowns.
About the bridesmaid,they have to wear Bridesmaid Dresses in order to avoid grab limelight with the bride.And the Flower Girl has the Flower Girl Dresses,too.In the wedding,the Cocktail Dresses and the Evening Dresses is necessary,too!And remember,the Wedding Dress of the Bridal Dress must be the most glaring!
Burberry Handbags|
Burberry Handbag|
Burberry bags|
Burberry bag|
Chloe Handbags|
Chloe Handbag|
Chloe bags|
Chloe bag|
Christian Dior Handbags|
d&g Handbags|
d&g Handbag|
d&g bags|
d&g bag|
Hermes Handbags|
Hermes Handbag|
Hermes bags|
Hermes bag|
replica Hermes|
replica Hermes Handbags|
watches replica
replica Louis Vuitton
Rolex Milgauss replica
Rolex Day Date replica
U-Boat replica
Tiffany heart tag ring Flower ring
ugg boots sale at a time when large heat has set off a winter 08/09 to Ewha.Outlines the
warm wool winter fashion degree to wool crocheted wool ugg boots uk to join after the
body does not stimulate your skin soft, soft comfort UP. Fashion can not without
ugg boots presence in Winter.and ugg boots have many series.such as:
ugg classic
UGG Bailey Button boots
ugg nightfall
ugg kids