{"id":"https://openalex.org/W2183911355","doi":null,"title":"OCaml-Java: Typing Java Accesses from OCaml Programs","display_name":"OCaml-Java: Typing Java Accesses from OCaml Programs","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W2183911355","mag":"2183911355"},"language":"en","primary_location":{"id":"mag:2183911355","doi":null,"is_oa":false,"landing_page_url":"https://www.cs.ru.nl/P.Achten/IFL2013/symposium_proceedings_IFL2013/ifl2013_submission_17.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084869877","display_name":"Xavier Clerc","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Xavier Clerc","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5084869877"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/ocaml","display_name":"OCaml","score":0.9120000004768372},{"id":"https://openalex.org/keywords/java-interoperability","display_name":"Java interoperability","score":0.9350000023841858},{"id":"https://openalex.org/keywords/subtyping","display_name":"subtyping","score":0.968999981880188},{"id":"https://openalex.org/keywords/polymorphic-variants","display_name":"polymorphic variants","score":0.9980000257492065},{"id":"https://openalex.org/keywords/functional-language","display_name":"functional language","score":0.5479999780654907},{"id":"https://openalex.org/keywords/language-interoperability","display_name":"language interoperability","score":0.6549999713897705}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8568853139877319},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8379836082458496},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6856839656829834},{"id":"https://openalex.org/C83852419","wikidata":"https://www.wikidata.org/wiki/Q2713292","display_name":"Subtyping","level":2,"score":0.5420677065849304},{"id":"https://openalex.org/C172482141","wikidata":"https://www.wikidata.org/wiki/Q379273","display_name":"Generics in Java","level":5,"score":0.5404719710350037},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.5167142748832703},{"id":"https://openalex.org/C109701466","wikidata":"https://www.wikidata.org/wiki/Q460584","display_name":"Scala","level":3,"score":0.4781844913959503},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.4392143189907074},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.38067036867141724},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.36251774430274963},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.29593026638031006}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2183911355","doi":null,"is_oa":false,"landing_page_url":"https://www.cs.ru.nl/P.Achten/IFL2013/symposium_proceedings_IFL2013/ifl2013_submission_17.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1124676271","https://openalex.org/W1994823367","https://openalex.org/W2058978634","https://openalex.org/W2070310827","https://openalex.org/W2121465152","https://openalex.org/W2127163461","https://openalex.org/W2132904928","https://openalex.org/W2571092107"],"related_works":["https://openalex.org/W1124676271","https://openalex.org/W2074481149","https://openalex.org/W4298190201","https://openalex.org/W2048001724","https://openalex.org/W2395177731","https://openalex.org/W1994823367","https://openalex.org/W998904632","https://openalex.org/W7097627568","https://openalex.org/W301443717","https://openalex.org/W2059640386"],"abstract_inverted_index":{"Functional":[0],"languages,":[1],"although":[2],"they":[3],"often":[4],"enable":[5],"great":[6],"developer":[7,109,152],"productivity":[8],"and":[9,19,85,88,136,156],"ease":[10],"software":[11],"maintenance,":[12],"are":[13],"commonly":[14],"hampered":[15],"by":[16,60],"smaller":[17],"communities":[18],"fewer":[20],"industrial-strength":[21],"players":[22],"when":[23],"compared":[24],"to":[25,36,38,48,77,110,139,144,153],"mainstream":[26],"languages.":[27],"To":[28],"partially":[29],"overcome":[30],"these":[31],"problems,":[32],"it":[33,73],"is":[34,68,119],"usual":[35],"resort":[37],"a":[39,45,79],"form":[40],"of":[41,51,65,82,90,101,125],"interoperability":[42,67],"that":[43,72,106],"allows":[44,107],"functional":[46],"language":[47,66],"take":[49],"advantage":[50],"libraries":[52],"originally":[53],"written":[54],"for":[55],"another":[56],"language.":[57],"Initially":[58],"driven":[59],"practical":[61],"needs,":[62],"the":[63,75,83,91,102,108,126,151],"problem":[64],"also":[69],"fertile":[70],"in":[71],"induce":[74],"designer":[76],"develop":[78],"better":[80],"understanding":[81],"differences,":[84],"respective":[86],"strengths":[87],"weaknesses":[89],"languages":[92],"involved.":[93],"In":[94],"this":[95,145],"article,":[96],"we":[97],"present":[98],"an":[99],"extension":[100,118],"OCaml":[103,115,127,162],"type":[104,128],"system":[105],"manipulate":[111,157],"Java":[112,141,158],"instances":[113,159],"inside":[114],"programs.":[116],"This":[117],"essentially":[120],"based":[121],"on":[122],"existing":[123],"features":[124],"system,":[129],"leveraging":[130],"phantom":[131],"typing,":[132],"subtyping,":[133],"polymorphic":[134],"variants,":[135],"value-directed":[137],"typing":[138],"encode":[140],"types.":[142],"Combined":[143],"encoding,":[146],"some":[147],"lightweight":[148],"notations":[149],"allow":[150],"easily":[154],"create":[155],"from":[160],"pure":[161],"code.":[163]},"counts_by_year":[],"updated_date":"2025-11-06T04:12:42.849631","created_date":"2016-06-24T00:00:00"}