<--- Back to Details
First PageDocument Content
Type theory / Data types / Functional languages / Object-oriented programming / Bluespec /  Inc. / Haskell / Type system / Lennart Augustsson / ML / Software engineering / Computing / Programming language theory
Date: 2003-01-22 15:24:53
Type theory
Data types
Functional languages
Object-oriented programming
Bluespec
Inc.
Haskell
Type system
Lennart Augustsson
ML
Software engineering
Computing
Programming language theory

Add to Reading List

Source URL: csg.csail.mit.edu

Download Document from Source Website

File Size: 76,53 KB

Share Document on Facebook

Similar Documents

Economy / Finance / Money / Financial markets / United States securities law / Stock market / Margin / Security / Securities Investor Protection Corporation / Short / Brokerage firm / Financial Industry Regulatory Authority

Margin Handbook Presented by Wealthfront Brokerage Corporation Portfolio Line of Credit is a margin lending product offered exclusively to clients of Wealthfront, Inc. by Wealthfront Brokerage Corporation. We want to mak

DocID: 1xW2b - View Document

Crowdrise / Gamification / Arbitration / Arbitral tribunal / American Arbitration Association / Law / GoFundMe / Economy

THE DUCKDUCKGO $500,000 PRIVACY CHALLENGE $3,000 DOLLAR FOR DOLLAR DONATION MATCHING INCENTIVE OFFICIAL RULES The DuckDuckGo $500,000 Privacy Challenge (the “Challenge”) $3,000 Dollar-for-Dollar Donation Matching Inc

DocID: 1xW1O - View Document

Cryptography / Transport Layer Security / Secure communication / E-commerce / Cryptographic protocols / Internet security / HTTPS / POODLE / Cipher suite / RC4 / Public key certificate / Certificate authority

Poster: Browser’s ”search form” issues and countermeasures Yuji Suga Internet Initiative Japan Inc., Iidabashi Grand Bloom, Fujimi, Chiyoda-ku, , Japan Abstract—From 2014, we are con

DocID: 1xW16 - View Document

Economy / Finance / Money / Stock market / Equity securities / Taxation in the United States / Corporate finance / Abbott Laboratories / Lake Bluff /  Illinois / AbbVie Inc. / Cost basis / Dividend

January 31, 2013 Re: Information for Canadian resident shareholders concerning the Canadian Income Tax Election on the spin-off of AbbVie Inc. from Abbott Laboratories

DocID: 1xW00 - View Document

Cryptocurrencies / Bitcoin / Alternative currencies / Currency / Money / Digital currencies / Economy / Mining pool / Blockchain.info / Ghash.io

BLOCK ONE CAPITAL, INC. • FOR PUBLIC RELEASE 1 A simple model of bitcoin mining Dr. Pratheev Sreetharan and Dr. Sivakumar Arumugam

DocID: 1xVZr - View Document