|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 409 occurrences of 258 keywords
|
|
|
Results
Found 395 publication records. Showing 395 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
66 | John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa |
Type-safe distributed programming for OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, pp. 20-31, 2006, ACM, 1-59593-483-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
HashCaml, type-safe marshalling, objective Caml |
55 | Neal Glew, Jens Palsberg, Christian Grothoff |
Type-Safe Optimisation of Plugin Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings, pp. 135-154, 2005, Springer, 3-540-28584-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
54 | Georg Neis, Derek Dreyer, Andreas Rossberg |
Non-parametric parametricity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 135-148, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
intensional type analysis, representation independence, type-safe cast, parametricity, step-indexed logical relations |
53 | Michal Wegiel, Chandra Krintz |
XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 327-338, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
class loading, managed runtimes, type-safe, parallel, synchronization, garbage collection, shared memory, transparent, interprocess communication |
45 | Hiroshi Yamauchi, Mario Wolczko |
Writing Solaris device drivers in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS ![In: Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006, San Jose, California, USA, October 22, 2006, pp. 3, 2006, ACM, 1-59593-577-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
type-safe languages, operating systems, device drivers |
44 | Brian R. Murphy, Vijay Menon 0002, Florian T. Schneider, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai |
Fault-safe code motion for type-safe languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Sixth International Symposium on Code Generation and Optimization (CGO 2008), April 5-9, 2008, Boston, MA, USA, pp. 144-154, 2008, ACM, 978-1-59593-978-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
safe code motion, safety dependences, speculative code motion, scheduling, code motion, partial redundancy elimination, intermediate representations |
44 | George C. Necula, Scott McPeak, Westley Weimer |
CCured: type-safe retrofitting of legacy code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002, pp. 128-139, 2002, ACM, 1-58113-450-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Heinz Kredel |
On the design of a Java computer algebra system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, PPPJ 2006, Mannheim, Germany, August 30 - September 1, 2006, pp. 143-152, 2006, ACM, 3-939352-05-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
computer algebra library, thread-safe, type-safe, multivariate polynomials |
36 | J. Gregory Morrisett |
Analysis issues for cyclone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'02, Charleston, South Carolina, USA, November 18-19, 2002, pp. 26, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Kim B. Bruce, Angela Schuett, Robert van Gent |
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'95 - Object-Oriented Programming, 9th European Conference, Århus, Denmark, August 7-11, 1995, Proceedings, pp. 27-51, 1995, Springer, 3-540-60160-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
design and semantics of object-oriented languages, Type systems |
36 | Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich |
PolyAML: a polymorphic aspect-oriented functional programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 306-319, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
aspects-oriented programming, functional programming, type systems, type inference, ad-hoc polymorphism |
35 | Gernot Schmoelzer, Christian Kreiner, Zsolt Kovács, Michael Thonhauser |
Reflective, Model-Based Data Access with the Type-Safe Entity Container. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 2, pp. 87-92, 2006, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Michael Golm, Jürgen Kleinöder, Frank Bellosa |
Beyond Address Spaces - Flexibility, Performance, Protection, and Resource Management in the Type-Safe JX Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotOS ![In: Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, May 20-23, 2001, Elmau/Oberbayern, Germany, pp. 3-8, 2001, IEEE Computer Society, 0-7695-1040-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Zhe Yang |
Encoding Types in ML-Like Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998., pp. 289-300, 1998, ACM, 1-58113-024-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
MC68000 Assembly Language |
32 | Suad Alagic |
Type-Checking OQL Queries In the ODMG Type Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 24(3), pp. 319-360, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
ODMG standard, Java, C++, type systems, parametric polymorphism, OQL |
32 | Denis Caromel, Ludovic Henrio, Mario Leyton |
Type Safe Algorithmic Skeletons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 16th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2008), 13-15 February 2008, Toulouse, France, pp. 45-53, 2008, IEEE Computer Society, 978-0-7695-3089-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Type systems, algorithmic skeletons |
32 | Divya Arora, Anand Raghunathan, Srivaths Ravi 0001, Niraj K. Jha |
Architectural support for safe software execution on embedded processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2006, Seoul, Korea, October 22-25, 2006, pp. 106-111, 2006, ACM, 1-59593-370-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
type safety, memory safety, extensible processors |
31 | Karen Shannon, Richard T. Snodgrass |
Mapping the Interface Description Language Type Model into C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(11), pp. 1333-1346, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Interface Description Language type model, C data structures, macro definitions, type safe, data structures, mapping, efficiency, programming environment, programming environments, high level languages, C language, ease of use, IDL, preprocessor, cooperating processes, run-time efficient |
30 | Chieri Saito, Atsushi Igarashi |
Self type constructors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 263-282, 2009, ACM, 978-1-60558-766-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
MyType, type constructor polymorphism, generics, binary methods |
30 | Valery Trifonov, Bratin Saha, Zhong Shao |
Fully reflexive intensional type analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000., pp. 82-93, 2000, ACM, 1-58113-202-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
runtime type dispatch, typed intermediate language, certified code |
30 | Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich |
AspectML: A polymorphic aspect-oriented functional programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(3), pp. 14:1-14:60, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
parametric and ad-hoc polymorphism, Aspect-oriented programming, type systems, type inference, functional languages |
28 | Martin Erwig, Deling Ren |
Programming Type-Safe Program Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 269-283, 2003, Springer, 3-540-00886-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Dan Grossman |
Type-safe multithreading in cyclone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003, pp. 13-25, 2003, ACM, 1-58113-649-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
types, data races, cyclone |
28 | Saurabh Srivastava 0001, Michael Hicks 0001, Jeffrey S. Foster, Patrick Jenkins |
Modular Information Hiding and Type-Safe Linking for C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 34(3), pp. 357-376, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Reliability, Information hiding, Modules, packages, Code design, Coding Tools and Techniques |
27 | Benjamin Delaware, William R. Cook, Don S. Batory |
Fitting the pieces together: a machine-checked model of safe composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 243-252, 2009, ACM, 978-1-60558-001-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
feature models, product lines, type safety |
27 | Benjamin Delaware, William R. Cook, Don S. Batory |
A machine-checked model of safe composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2009, Charlottesville, Virginia, USA, March 2, 2009, pp. 31-35, 2009, ACM, 978-1-60558-452-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
feature model, product lines, type safety |
26 | Farooq Butt |
Porting the mcc PowerPC C/C++ Compiler into an Interactive Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 31(8), pp. 64-73, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
C++ |
26 | Charles D. Norton |
The International Workshop on Parallel C++ (IWPC++), Kanazawa, Ishikawa Prefecture, Japan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 31(8), pp. 28-30, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
C++ |
26 | Sungwoo Park |
Type-safe higher-order channels in ML-like languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 191-202, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
channel locality, distributed languages, higher-order channels, parallel languages |
26 | Alcino Cunha, José Nuno Oliveira, Joost Visser 0001 |
Type-Safe Two-Level Data Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 284-299, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Axel Schmolitzky, Mark Evered, James Leslie Keedy, Gisela Menger |
How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (32) ![In: TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 22-25 November 1999, Melbourne, Australia, pp. 200-209, 1999, IEEE Computer Society, 0-7695-0462-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
pragmatical class methods, static type safety, language design, covariance, binary methods |
26 | Dominic Duggan |
Type-Safe linking with recursive DLLs and shared libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 24(6), pp. 711-804, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Module Interconnection Languages, Dynamic Linking, Shared Libraries, Recursive Modules |
24 | Davide Ancona, Giovanni Lagorio, Elena Zucca |
Flexible Type-Safe Linking of Components for Java-Like Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JMLC ![In: Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings, pp. 136-154, 2006, Springer, 3-540-40927-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe |
Type-Safe Runtime Class Upgrades in Creol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings, pp. 202-217, 2006, Springer, 3-540-34893-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden |
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Functional Programming ![In: Advanced Functional Programming, 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures, pp. 210-244, 2004, Springer, 3-540-28540-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Raphaël Marvie, Philippe Merle, Jean-Marc Geib, Sylvain Leblanc |
Type-Safe Trading Proxies Using TORBA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: Fifth International Symposium on Autonomous Decentralized Systems, ISADS 2001, Dallas, Texas, USA, March 26-28, 2001, pp. 303-310, 2001, IEEE Computer Society, 0-7695-1065-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Sophia Drossopoulou, Susan Eisenbach |
Java is Type Safe - Probably. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'97 - Object-Oriented Programming, 11th European Conference, Jyväskylä, Finland, June 9-13, 1997, Proceedings, pp. 389-418, 1997, Springer, 3-540-63089-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Tetsuo Kamina, Tetsuo Tamai |
Lightweight dependent classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings, pp. 113-124, 2008, ACM, 978-1-60558-267-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
class-based languages, dependent classes, mutually recursive extensions, generics, type safety |
24 | Matthew S. Tschantz, Michael D. Ernst |
Javari: adding reference immutability to Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 211-230, 2005, ACM, 1-59593-031-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Javari, Java, verification, type system, assignable, readonly, immutability, mutable |
23 | Erik van der Kouwe, Taddeus Kroes, Chris Ouwehand, Herbert Bos, Cristiano Giuffrida |
Type-After-Type: Practical and Complete Type-Safe Memory Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: Proceedings of the 34th Annual Computer Security Applications Conference, ACSAC 2018, San Juan, PR, USA, December 03-07, 2018, pp. 17-27, 2018, ACM, 978-1-4503-6569-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Jácome Cunha, João Saraiva, Joost Visser 0001 |
From spreadsheets to relational databases and back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, pp. 179-188, 2009, ACM, 978-1-60558-327-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
bi-directional transformations, type-safe data migration, functional programming, spreadsheets |
23 | Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li |
Modularly Certified Dynamic Storage Allocation in SCAP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Sixth International Conference on Quality Software (QSIC 2006), 26-28 October 2006, Beijing, China, pp. 321-328, 2006, IEEE Computer Society, 0-7695-2718-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Stefan Monnier, Bratin Saha, Zhong Shao |
Principled Scavenging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA, June 20-22, 2001, pp. 81-91, 2001, ACM, 1-58113-414-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Richard West, Jason Gloudon |
'QoS Safe' Kernel Extensions for Real-Time Resource Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 19-21 June 2002, Vienna, Austria, Proceedings, pp. 84-, 2002, IEEE Computer Society, 0-7695-1665-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | David S. Munro, Katrina E. Falkner, Matthew C. Lowry, Francis Vaughan |
Mosaic: A Non-Intrusive Complete Garbage Collector for DSM System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: First IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2001), May 15-18, 2001, Brisbane, Australia, pp. 539-546, 2001, IEEE Computer Society, 0-7695-1010-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Bratin Saha, Valery Trifonov, Zhong Shao |
Intensional analysis of quantified types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 25(2), pp. 159-209, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
intensional type analysis, runtime type dispatch, typed intermediate languages, Certified code |
22 | Saurabh Srivastava 0001, Michael Hicks 0001, Jeffrey S. Foster |
Modular information hiding and type-safe linking for C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Nice, France, January 16, 2007, pp. 3-14, 2007, ACM, 1-59593-393-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
C, information hiding, type-safety, module systems |
22 | Matthias Zenger |
Type-Safe Prototype-Based Component Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings, pp. 470-497, 2002, Springer, 3-540-43759-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Steven E. Ganz, Amr Sabry, Walid Taha |
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001., pp. 74-85, 2001, ACM, 1-58113-415-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
ML |
22 | Jens Palsberg, Michael I. Schwartzbach |
What is Type-Safe Code Reuse? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings, pp. 325-341, 1991, Springer, 3-540-54262-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
cJ: enhancing java with safe type conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007, pp. 185-198, 2007, ACM, 1-59593-615-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, meta-programming, language extensions |
22 | Atsushi Igarashi, Chieri Saito, Mirko Viroli |
Lightweight Family Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings, pp. 161-177, 2005, Springer, 3-540-29735-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Daniel Lohmann, Olaf Spinczyk |
On Typesafe Aspect Implementations in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC@ETAPS ![In: Software Composition - 4th International Workshop, SC@ETAPS 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers, pp. 135-149, 2005, Springer, 3-540-28748-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Jean Yang 0001, Chris Hawblitzel |
Safe to the last instruction: automated verification of a type-safe operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 54(12), pp. 123-131, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Jean Yang 0001, Chris Hawblitzel |
Safe to the last instruction: automated verification of a type-safe operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 99-110, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
verification, operating system, type safety, run-time system |
21 | Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin |
Dynamic Typing in a Statically-Typed Language. (long version: TOPLAS 13 (2): 237-268 (1991)) ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989, pp. 213-227, 1989, ACM Press, 0-89791-294-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
20 | Florian Villoing, Emmanuel Briot |
A Type-Safe Database Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings, pp. 144-157, 2008, Springer, 978-3-540-68621-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Vitaly Surazhsky, Joseph Gil |
Type-safe covariance in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 1496-1502, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
C++, templates, type safety, covariance |
20 | Ralph Göckelmann, Stefan Frenz, Michael Schöttner, Peter Schulthess |
Compiler Support for Reference Tracking in a Type-Safe DSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JMLC ![In: Modular Programming Languages, Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings, pp. 49-58, 2003, Springer, 3-540-40796-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells |
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001., pp. 14-25, 2001, ACM, 1-58113-415-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Standard ML |
20 | Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer |
Implementing software product lines using traits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2096-2102, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
type system, software product line, feature model, trait, featherweight java |
20 | DeLesley Hutchins |
Eliminating distinctions of class: using prototypes to model virtual classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 1-20, 2006, ACM, 1-59593-348-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
virtual types, prototypes, abstract interpretation, partial evaluation, features, dependent types, mixins, virtual classes, singleton types |
20 | Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis |
Acute: high-level programming language design for distributed computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 15-26, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
rebinding, programming languages, ML, distributed programming, modules, version control, type theory, abstract types, serialisation, marshalling |
20 | Peter Achten, Artem Alimarine, Marinus J. Plasmeijer |
When Generic Functions Use Dynamic Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 17-33, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Arjen van Weelden, Marinus J. Plasmeijer |
Towards a Strongly Typed Functional Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 215-231, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss |
Type-Based Alias Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998, pp. 106-117, 1998, ACM, 0-89791-987-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | David Aspinall 0001, Patrick Maier 0001, Ian Stark |
Safety Guarantees from Explicit Resource Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, pp. 52-71, 2007, Springer, 978-3-540-92187-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu |
Mutatis mutandis: safe and predictable dynamic software updating. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pp. 183-194, 2005, ACM, 1-58113-830-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
proteus, updateability analysis, type inference, capability, dynamic software updating |
19 | Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst |
Object and reference immutability using java generics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 75-84, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
IGJ, const, java, generic, readonly, immutability |
19 | Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea |
A flow-based approach for variant parametric types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 273-290, 2006, ACM, 1-59593-348-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
variant parametric types, constraints, genericity, subtyping, flow analysis |
19 | Adrian Birka, Michael D. Ernst |
A practical type system and language for reference immutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 35-49, 2004, ACM, 1-58113-831-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Javari, const, Java, verification, type system, readonly, immutability, mutable |
19 | Rinus Plasmeijer, Arjen van Weelden |
A Functional Shell That Operates on Typed and Compiled Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Functional Programming ![In: Advanced Functional Programming, 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures, pp. 245-272, 2004, Springer, 3-540-28540-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Dan Grossman, J. Gregory Morrisett |
Scalable Certification for Typed Assembly Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Types in Compilation ![In: Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers, pp. 117-146, 2000, Springer, 3-540-42196-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Ralph Frisbie, Richard Hendrickson, Michael Metcalf |
The F Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 32(6), pp. 69-74, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
FCL |
19 | Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin |
Dynamic Typing in a Statically Typed Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 13(2), pp. 237-268, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
theory |
18 | Luís Caires, Bernardo Toninho |
Refinement kinds: type-safe programming with practical type-level computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(OOPSLA), pp. 131:1-131:30, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Luís Caires, Bernardo Toninho |
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.00441, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Davide Sottara, Mark Proctor, Stefano Bragaglia, Mohammad Hekmatnejad |
Traits: An Object Oriented Dynamic Type System for Reasoning with Unstructured Data in a Type Safe Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML+RR (Supplement) ![In: Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019 - Bolzano, Italy co-located with 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019) 5th Global Conference on Artificial Intelligence (GCAI 2019) 15th Reasoning Web Summer School (RW 2019) DecisionCAMP 2019 (DecisionCAMP 2019), Bolzano, Italy, September 16-24, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Ting-Yan Lai, Tyng-Ruey Chuang, Shin-Cheng Mu |
Type Safe Redis Queries: A Case Study of Type-Level Programming in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1708.09158, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
18 | Hiroaki Inoue, Atsushi Igarashi, Malte Appeltauer, Robert Hirschfeld |
Towards Type-Safe JCop: A type system for layer inheritance and first-class layers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COP@ECOOP ![In: Proceedings of 6th International Workshop on Context-Oriented Programming, COP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014, pp. 7:1-7:6, 2014, ACM, 978-1-4503-2861-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Yuriy Solodkyy, Jaakko Järvi |
Extending type systems in a library: Type-safe XML processing in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 76(4), pp. 290-306, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Michael Hanus |
Type-oriented construction of web user interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pp. 27-38, 2006, ACM, 1-59593-388-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
user interfaces, web programming, functional logic programming |
18 | Kim B. Bruce |
Bending without Breaking: Making Software More Flexible: Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers, pp. 46-49, 2003, Springer, 3-540-20813-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | George C. Necula, Peter Lee 0001 |
The design and implementation of a certifying compiler (with retrospective) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Best of PLDI ![In: 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection, pp. 612-625, 1998, ACM, 1-58113-623-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | George C. Necula, Peter Lee 0001 |
The Design and Implementation of a Certifying Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998, pp. 333-344, 1998, ACM, 0-89791-987-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
C |
18 | Sahil Thaker, Don S. Batory, David Kitchin, William R. Cook |
Safe composition of product lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings, pp. 95-104, 2007, ACM, 978-1-59593-855-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
compositional programming, features, product lines, SAT solvers |
18 | William R. Cook, Siddhartha Rai |
Safe query objects: statically typed objects as remotely executable queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 97-106, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
JDO, persistence, type safety |
17 | Arjen van Weelden, Rinus Plasmeijer |
A Functional Shell That Dynamically Combines Compiled Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, pp. 36-52, 2003, Springer, 3-540-23727-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Atsushi Ohori, Kiyoshi Yamatodani |
An interoperable calculus for external object access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002., pp. 60-71, 2002, ACM, 1-58113-487-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
record polymorphism, Java, interoperability, ML, type inference, object-oriented language |
16 | Tue Becher Jensen, Terkel K. Tolstrup, Michael R. Hansen |
Generating web-based systems from specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 1647-1653, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
navigation safeness, type safeness, specification, Web engineering, automatic generation |
16 | Kim B. Bruce, Martin Odersky, Philip Wadler |
A Statically Safe Alternative to Virtual Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'98 - Object-Oriented Programming, 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings, pp. 523-549, 1998, Springer, 3-540-64737-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
virtual types, static type checking, Language design, parametric polymorphism |
15 | Luís Soares Barbosa, Jácome Cunha, Joost Visser 0001 |
A type-level approach to component prototyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYANCO ![In: Proceedings of the International Workshop on Synthesis and Analysis of Component Connectors: in conjunction with the 6th ESEC/FSE joint meeting, SYANCO 2007, Dubrovnik, Croatia, September 3-4, 2007, pp. 23-36, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
type-level programming, Haskell, coalgebra, mealy machine, combinator library |
15 | Martin Elsman, Ken Friis Larsen |
Typing XHTML Web Applications in ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings, pp. 224-238, 2004, Springer, 3-540-22253-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Mads Torgersen, Christian Plesner Hansen, Erik Ernst, Peter von der Ahé, Gilad Bracha, Neal M. Gafter |
Adding wildcards to the Java programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 1289-1296, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
genericity, wildcards, parameterized types |
14 | Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner |
Deep typechecking and refactoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA, pp. 37-52, 2008, ACM, 978-1-60558-215-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
JPA query analysis, cross language refactoring, cross language typechecking |
14 | Chang Hwan Peter Kim, Christian Kästner, Don S. Batory |
On the modularity of feature interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings, pp. 23-34, 2008, ACM, 978-1-60558-267-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
lifters, safe composition, feature interactions, derivatives, feature oriented software development |
14 | Babak Salamat, Andreas Gal, Todd Jackson, Karthikeyan Manivannan, Gregor Wagner, Michael Franz |
Multi-variant Program Execution: Using Multi-core Systems to Defuse Buffer-Overflow Vulnerabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIS ![In: Second International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2008), March 4th-7th, 2008, Technical University of Catalonia, Barcelona, Spain, pp. 843-848, 2008, IEEE Computer Society, 978-0-7695-3109-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Heinz Kredel |
Evaluation of a Java Computer Algebra System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASCM ![In: Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers, pp. 121-138, 2007, Springer, 978-3-540-87826-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | George Zakhour, Pascal Weisenburger, Guido Salvaneschi |
Type-Safe Dynamic Placement with First-Class Placed Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(OOPSLA2), pp. 2142-2170, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev |
Type-safe Quantum Programming in Idris. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, pp. 507-534, 2023, Springer, 978-3-031-30043-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 395 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|