- Subscribe to this page:
- RSS
- Email Alert
Toyota Technological Institute
(6 results)-
White Papers
Exception Handlers as Extensible Cases
June 27, 2008, 12:00am PDT
Exceptions are an indispensable part of modern programming languages. They are, however, handled poorly, especially by higher-order languages such as Standard ML and Haskell: in both languages a...
Provided by Toyota Technological Institute
-
White Papers
Equivalence-Preserving Compilation
July 16, 2007, 12:00am PDT
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different language, this is true...
Provided by Toyota Technological Institute
-
White Papers
Imperative Self-Adjusting Computation
July 17, 2007, 12:00am PDT
Recent work on self-adjusting computation showed how to systematically write programs that respond efficiently to incremental changes in their inputs. The idea is to represent changeable data...
Provided by Toyota Technological Institute
-
White Papers
Principal Type Schemes for Modular Programs
January 5, 2007, 12:00am PST
Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these features have been studied...
Provided by Toyota Technological Institute
-
White Papers
Programming in Manticore, a Heterogenous Parallel Functional Language
May 1, 2009, 12:00am PDT
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous language that...
Provided by Toyota Technological Institute
-
White Papers
L3: A Linear Language With Locations
February 1, 2007, 12:00am PST
The authors present a simple, but expressive type system that supports strong updates - updating a memory cell to hold values of unrelated types at different points in time. Their formulation is...
Provided by Toyota Technological Institute
-
White Papers
L3: A Linear Language With Locations
February 1, 2007, 12:00am PST
The authors present a simple, but expressive type system that supports strong updates - updating a memory cell to hold values of unrelated types at different points in time. Their formulation is...
Provided by Toyota Technological Institute
-
White Papers
Programming in Manticore, a Heterogenous Parallel Functional Language
May 1, 2009, 12:00am PDT
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous language that...
Provided by Toyota Technological Institute
-
White Papers
Principal Type Schemes for Modular Programs
January 5, 2007, 12:00am PST
Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these features have been studied...
Provided by Toyota Technological Institute
-
White Papers
Imperative Self-Adjusting Computation
July 17, 2007, 12:00am PDT
Recent work on self-adjusting computation showed how to systematically write programs that respond efficiently to incremental changes in their inputs. The idea is to represent changeable data...
Provided by Toyota Technological Institute
-
White Papers
Equivalence-Preserving Compilation
July 16, 2007, 12:00am PDT
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different language, this is true...
Provided by Toyota Technological Institute
-
White Papers
Exception Handlers as Extensible Cases
June 27, 2008, 12:00am PDT
Exceptions are an indispensable part of modern programming languages. They are, however, handled poorly, especially by higher-order languages such as Standard ML and Haskell: in both languages a...
Provided by Toyota Technological Institute
Keep Up with TechRepublic
Upcoming Webcasts
Upcoming webcasts from leading IT vendors
-
2012-05-24 at 11:00 am PT | 2:00 pm ET
Live Webcast: The 2012 Guide to Better Business Benefits from Data Analytics
Sponsored by Tableau Software
-
2012-06-05 at 11:00 am PT | 2:00 pm ET
Live Webcast: Getting to Microsoft Office 365: The right migration for your business
Sponsored by Microsoft
-
2012-06-12 at 9:00 am PT | 12:00 pm ET
Live Webcast: WebSphere DataPower for Mobile Application Security
Sponsored by IBM
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
