- Activity
- Tech Directory
- Analytics / Financial Libraries
- Asset Management Solutions
- ECNs/Exchanges/MTFs
- Hardware Vendors
- Infrastructure Solutions
- Insurance Systems
- Liquidity Management
- Market Data
- Middle / Back Office
- Payment Solutions
- Reference Data Solutions
- Retail Systems
- Risk Management Solutions
- Trading Systems
- Treasury Management
- Wholesale Banking Systems
- Fund Services
- Consulting
- Education
- Training
- Events
- Books
- Research
- Latest Research
- Research Library
- Behavioural Finance
- CDOs
- Collections and Resources
- Complexity Science
- Computational Finance
- Corporate Finance
- Decision Science
- Econometrics
- Economic / Financial Models
- Economic History
- Econophysics
- Education Issues
- Environmental Economics
- Ethics / Religion
- Evolutionary Economics
- Finance and Society
- Financial Bubbles
- Financial Crime
- Financial Crises
- Financial Instruments
- Financial Markets
- Financial Regulation
- Gambling and Finance
- Game Theory
- General Banking
- Hedge Funds
- High Frequency Trading
- Insurance
- Introductions and Fuindamentals
- Islamic Banking and Finance
- Liquidity
- Literature Reviews
- Macroeconomics
- Market Efficiency
- Market Microstructure
- Network Science
- Neuroeconomics
- Options Pricing and Valuation
- Philosophy of Finance
- Policy Issues
- Publishing Issues
- Quantitative Methods
- Research Issues
- Risk Management
- Shareholder Activism
- Structured Finance
- Volatility
- Link Library
- Issues in Research and Publishing
- Issues in Quantitative Finance
- Humour
- Fun and Games
- Econophysics
- Financial Crisis
- Neuroeconomics
- Financial Careers
- Banking Recruitment Sites
- Profiles and People
- Interviews
- Ratings and Agencies
- Popular Finance
- Podcasts
- Flash Crash
- The Future of Finance
- Historical Resources
- Open Courseware
- Forums and Discussion
- Directories and Portals
- Glossaries
- Social Networks
- Financial Calculators
- Financial Technology and Software
- Programming
- GPUs
- Parallel Processing
- Quant Programming
- C++
- dot Net
- Java
- Matlab
- Open Sources Essentials
- VBA / Excel
- R / S+
- Blogs
Next Dates: - Introduction to QuantLib Development with Luigi Ballabio, September 2 - 4, 2013 - £1700
Musings on software infrastructure, programming language type systems, investments, and markets
Bookmark & Share
Symmetric Type Sharing in ML
Sun, 22 Jan 2012 12:48:31 GMT
In the Standard ML language, there are two primary mechanisms for refining a module signature after the fact. One is a symmetric mechanism called type sharing and the other called where type, aka fibration. These are useful for facilitating modular programming by enabling reuse of module signatures (i.e., the syntactic "type" of a module).
Related content
