Back to Results
First PageMeta Content
Programming language theory / Proof theory / Logic in computer science / Models of computation / Curry–Howard correspondence / Philosophy of computer science / Symbol / Lambda calculus / Monad / Theoretical computer science / Computer science / Type theory


Complete Completion using Types and Weights Tihomir Gvero Viktor Kuncak Ivan Kuraj ´ Ecole
Add to Reading List

Document Date: 2013-04-07 11:25:49

Open Document

File Size: 418,85 KB

Share Result on Facebook

City

Seattle / /

Company

Amazon / Figure 1 / Reusable Software / Twitter / /

Country

United States / /

Currency

USD / /

/

Facility

Scala library / Copyright Ruzica Piskac Max Planck Institute / We store / /

IndustryTerm

Software configuration / dozen solutions / backward search / explored search space / final tool / online repository / less important solutions / shortest solution / goal-directed search / forward search / actual solutions / software developers / shorter solutions / synthesis algorithm / Web framework Issue ticket system JDBC framework / 3Ghz clock speed processor / discovered search / search space / language processing / /

MarketIndex

SET 50 / /

OperatingSystem

Ubuntu / /

Organization

Ruzica Piskac Max Planck Institute for Software Systems / Ecole Polytechnique F´ed´erale de Lausanne / /

Person

Viktor Kuncak Ivan Kuraj / Ruzica Piskac Max / /

Position

editor / Eclipse editor / Models General / Project Akka CCSTM GooChaSca Kestrel LiftWeb LiftTicket O/R Broker / programmer / /

Product

InSynth / x1 / SimpleDB Map Reduce / App / Prop / APIs / /

ProgrammingLanguage

SQL / Java / Java bytecode / R / Scala / /

Technology

Virtual Machine / GenerateT algorithm / main algorithm / Natural language processing / Explore algorithm / artificial intelligence / Java / API / 3Ghz clock speed processor / 5.2 Main Algorithm / synthesis algorithm / /

URL

http /

SocialTag