Industrial uses of Caml: examples and lessons learned from the smart card industry Export

@inproceedings{citeulike:3459749, abstract = {The first part of this talk will show some examples of uses of Caml in industrial contexts, especially at companies that are part of the Caml consortium. The second part discusses my personal experience at the Trusted Logic start-up company, developing high-security software components for smart cards. While technological limitations prevent running functional languages on such low-resource systems, the development and certification of smart card software present a number of challenges where functional programming can help.}, address = {New York, NY, USA}, author = {Leroy, Xavier}, booktitle = {CUFP '07: Proceedings of the 4th ACM SIGPLAN workshop on Commercial users of functional programming}, citeulike-article-id = {3459749}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1362704}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1362702.1362704}, comment = {http://cufp.galois.com/2007/slides/XavierLeroy.pdf}, doi = {10.1145/1362702.1362704}, keywords = {functional-programming, ocaml}, location = {Freiburg, Germany}, pages = {1--4}, posted-at = {2008-10-29 10:03:48}, priority = {2}, publisher = {ACM}, title = {Industrial uses of Caml: examples and lessons learned from the smart card industry}, url = {http://dx.doi.org/10.1145/1362702.1362704}, year = {2007} }

TY - CONF ID - citeulike:3459749 L3 - citeulike-article-id:3459749 N2 - The first part of this talk will show some examples of uses of Caml in industrial contexts, especially at companies that are part of the Caml consortium. The second part discusses my personal experience at the Trusted Logic start-up company, developing high-security software components for smart cards. While technological limitations prevent running functional languages on such low-resource systems, the development and certification of smart card software present a number of challenges where functional programming can help. CY - Freiburg, Germany AD - New York, NY, USA EP - 4 TI - Industrial uses of Caml: examples and lessons learned from the smart card industry PB - ACM T2 - CUFP '07: Proceedings of the 4th ACM SIGPLAN workshop on Commercial users of functional programming SP - 1 KW - functional-programming KW - ocaml N1 - http://cufp.galois.com/2007/slides/XavierLeroy.pdf AU - Leroy, Xavier PY - 2007/// UR - http://dx.doi.org/10.1145/1362702.1362704 ER -