Programming Languages Team (PLT)

15 years 7 months ago

Download www.cs.rice.edu

PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To demonstrate the impact of these foundations, PLT implements various tools. These include compilers and IDEs, and applies them to challenging software development domains.

Real-time Traffic

Functional Programming | Programming Languages | Semantics | Software Development | Type Systems |

posted by CherifSalama

» Scribble closing the book on ad hoc documentation tools

» Scheme with Classes Mixins and Traits

» Contracts for firstclass modules

» Links Web Programming Without Tiers

» Adding delimited and composable control to a production programming environment

» ETAPP A Collaboration Framework That Copes with Uncertainty Regarding Team Members

» Knowledge Representation in Virtual Teams A Perspective Approach for Synthetic Worlds

» Practical VariableArity Polymorphism

Post Info
More Details (n/a)

Added	08 Dec 2008
Updated	08 Dec 2008

Comments (0)

	Synthesizable High Level Hardware Descriptions 351 views
	Static Consistency Checking for Verilog Wire Interconnects 312 views
	Resource Aware Programming (RAP) 737 views
	Programming Languages Team (PLT) 597 views
	New Approximate Strategies for Playing Sum Games based on Subgame Types 312 views

Sciweavers

Programming Languages Team (PLT)

Functional Programming | Programming Languages | Semantics | Software Development | Type Systems |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers