ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Proceedings of the 2006 workshop on ML - ML '06
Latest Publications
TOTAL DOCUMENTS
10
(FIVE YEARS 0)
H-INDEX
7
(FIVE YEARS 0)
Published By ACM Press
1595934839
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
A separate compilation extension to standard ML
Proceedings of the 2006 workshop on ML - ML '06
◽
10.1145/1159876.1159883
◽
2006
◽
Cited By ~ 5
Author(s):
David Swasey
◽
Tom Murphy
◽
Karl Crary
◽
Robert Harper
Keyword(s):
Separate Compilation
◽
Standard Ml
Download Full-text
Type-sensitive control-flow analysis
Proceedings of the 2006 workshop on ML - ML '06
◽
10.1145/1159876.1159888
◽
2006
◽
Cited By ~ 7
Author(s):
John Reppy
Keyword(s):
Flow Analysis
◽
Control Flow
◽
Control Flow Analysis
Download Full-text
Backtracking iterators
Proceedings of the 2006 workshop on ML - ML '06
◽
10.1145/1159876.1159885
◽
2006
◽
Cited By ~ 6
Author(s):
Jean-Christophe Filliâtre
Download Full-text
Seminal
Proceedings of the 2006 workshop on ML - ML '06
◽
10.1145/1159876.1159887
◽
2006
◽
Cited By ~ 15
Author(s):
Benjamin Lerner
◽
Dan Grossman
◽
Craig Chambers
Download Full-text
Ocsigen
Proceedings of the 2006 workshop on ML - ML '06
◽
10.1145/1159876.1159889
◽
2006
◽
Cited By ~ 16
Author(s):
Vincent Balat
Download Full-text
Whole-program compilation in MLton
Proceedings of the 2006 workshop on ML - ML '06
◽
10.1145/1159876.1159877
◽
2006
◽
Cited By ~ 29
Author(s):
Stephen Weeks
Download Full-text
Leveraging .NET meta-programming components from F#
Proceedings of the 2006 workshop on ML - ML '06
◽
10.1145/1159876.1159884
◽
2006
◽
Cited By ~ 16
Author(s):
Don Syme
Keyword(s):
Meta Programming
Download Full-text
Type-safe modular hash-consing
Proceedings of the 2006 workshop on ML - ML '06
◽
10.1145/1159876.1159880
◽
2006
◽
Cited By ~ 21
Author(s):
Jean-Christophe Filliâtre
◽
Sylvain Conchon
Download Full-text
ML grid programming with ConCert
Proceedings of the 2006 workshop on ML - ML '06
◽
10.1145/1159876.1159879
◽
2006
◽
Cited By ~ 1
Author(s):
Tom Murphy
Keyword(s):
Grid Programming
Download Full-text
Type-safe distributed programming for OCaml
Proceedings of the 2006 workshop on ML - ML '06
◽
10.1145/1159876.1159881
◽
2006
◽
Cited By ~ 7
Author(s):
John Billings
◽
Peter Sewell
◽
Mark Shinwell
◽
Rok Strniša
Keyword(s):
Distributed Programming
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close