Matches in SemOpenAlex for { <https://semopenalex.org/work/W4248763772> ?p ?o ?g. }
Showing items 1 to 38 of
38
with 100 items per page.
- W4248763772 abstract "It is my great pleasure to welcome you to the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation --- TLDI'12. The TLDI workshops are a continuation of the Types in Compilation (TIC) workshops, the first of which was held in 1997. Initially biennial, TLDI is now an annual workshop. The role of types in all aspects of language design, compiler construction, and software development has expanded greatly in recent years. Type systems, type-based analyses, and typebased reasoning frameworks have led to new concepts in compilation techniques for modern programming languages, verification of safety and security properties of programs, program transformation and optimization, and many other areas. The mission of the TLDI series of workshops is to bring together researchers in all these areas to share novel ideas and stimulate interaction and discussion on the ever-expanding use of types. This year saw one significant change to the workshop organization. There were two distinct submission categories: full papers (to be included in the published proceedings, as always) and two page proposals for talks on more speculative or unfinished work. The aim was to foster a more informal atmosphere while maintaining the TLDI tradition of excellent presentations of polished technical work. The call for papers this year attracted 13 submissions. All received at least 3 reviews, with most receiving between 4 and 5 reviews; every submission had at least one expert review or, failing that, multiple high-confidence reviews. After a weeklong electronic meeting conducted via Eddie Kohler's wonderful HotCRP conference management system, the program committee decided to accept 8 full papers and 3 short proposals for presentations for the workshop. The accepted papers concern the application of types in a range of areas, including object-oriented language design, concurrency, databases, and theorem proving." @default.
- W4248763772 created "2022-05-12" @default.
- W4248763772 date "2012-01-28" @default.
- W4248763772 modified "2023-09-28" @default.
- W4248763772 title "Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation" @default.
- W4248763772 doi "https://doi.org/10.1145/2103786" @default.
- W4248763772 hasPublicationYear "2012" @default.
- W4248763772 type Work @default.
- W4248763772 citedByCount "0" @default.
- W4248763772 crossrefType "proceedings" @default.
- W4248763772 hasConcept C115903868 @default.
- W4248763772 hasConcept C136764020 @default.
- W4248763772 hasConcept C161191863 @default.
- W4248763772 hasConcept C169590947 @default.
- W4248763772 hasConcept C199360897 @default.
- W4248763772 hasConcept C41008148 @default.
- W4248763772 hasConceptScore W4248763772C115903868 @default.
- W4248763772 hasConceptScore W4248763772C136764020 @default.
- W4248763772 hasConceptScore W4248763772C161191863 @default.
- W4248763772 hasConceptScore W4248763772C169590947 @default.
- W4248763772 hasConceptScore W4248763772C199360897 @default.
- W4248763772 hasConceptScore W4248763772C41008148 @default.
- W4248763772 hasLocation W42487637721 @default.
- W4248763772 hasOpenAccess W4248763772 @default.
- W4248763772 hasPrimaryLocation W42487637721 @default.
- W4248763772 hasRelatedWork W1497385637 @default.
- W4248763772 hasRelatedWork W1527862632 @default.
- W4248763772 hasRelatedWork W1608659702 @default.
- W4248763772 hasRelatedWork W1977285665 @default.
- W4248763772 hasRelatedWork W2007728761 @default.
- W4248763772 hasRelatedWork W2044422526 @default.
- W4248763772 hasRelatedWork W2369288331 @default.
- W4248763772 hasRelatedWork W2519339279 @default.
- W4248763772 hasRelatedWork W2740990710 @default.
- W4248763772 hasRelatedWork W2467097043 @default.
- W4248763772 isParatext "false" @default.
- W4248763772 isRetracted "false" @default.
- W4248763772 workType "paratext" @default.