SML#

0.03 sec.

SML# - An extension of SML/NJ with polymorphic field selection and nondestructive field update. "A Compilation Method for ML-style Polymorphic Record Calculi", A. Ohori, POPL 1992.

ftp://ftp.cis.upenn.edu/pub/sml#/.

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			Smith-Baker microscope Smith-Helmholtz law Smith-McIntyre sampler Smith-Petersen nail Smith-Purcell-Salisbury effect Smith-Recklinghausen's disease Smithe Redwoods State Reserve Smithell's burner Smitherm process Smithfield Smithfield Proposals Smithgall Woods Conservation Area & Lodge Smithies, Arthur smithing smithite Smithson Smithson Tennant Smithson, Robert Smithsonian Astrophysical Observatory Smithsonian Institution Smithsonian Kite Festival Smithsonite Smithville Fiddlers Jamboree and Crafts Festival Smithy SML SML# SML/NJ sml2c SMM SMNP Smog Smohalla Smoholla Smoke smoke and fire vent smoke and mirrors smoke barrier smoke candle smoke chamber smoke control zone smoke curtain smoke damper smoke density smoke detector smoke door smoke exhaust system Smoke Generator smoke grenade smoke hatch smoke hole smoke hood			SMKC SMKD SMKF SMKG SMKI SMKJ SMKK SMKLK SMKLS SMKMC SMKP Smkr SMKS SMKSAB SMKSP SMKSS SMKT SMKTK SMKU SMKW SML SML SML SML (programming language) SML of New Jersey SML programming language SML# SML/NJ SML/NJ sml2c Smla SMLAC SMLAH SMLAX SMLB Smlc SMLCK SMLCT SMLD SMLDV SMLE SMLHL SMLI SMLIC SMLIS SMLL SMLLA SMLLC SMLM SMLMJ SMLMV SMLN

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.