Polymorphic Embedding of DSLs Christian Hofer Klaus Ostermann Tillmann Rendel Adriaan Moors

First Page		Document Content
Date: 2008-08-04 08:41:32 Logic in computer science Type theory Programming language semantics Functional languages Denotational semantics Domain-specific language Scala Semantics Programming language Computing Software engineering Theoretical computer science		Polymorphic Embedding of DSLs Christian Hofer Klaus Ostermann Tillmann Rendel Adriaan Moors Add to Reading List Source URL: www.mathematik.uni-marburg.de Download Document from Source Website File Size: 171,18 KB Share Document on Facebook

	Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors DocID: 1xVKz - View Document
	Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov DocID: 1xVoG - View Document
	Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov DocID: 1xUHd - View Document
	PDF Document DocID: 1w4Ii - View Document
	Case Study Twilio Improves Mean Time To Resolution (MTTR) by 92% with LightStep [x]PM Founded in 2008, Twilio’s mission is to fuel the future of communications. Twilio lowers engineering costs with its flexible, scala DocID: 1uYet - View Document