Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto ) Benjamin Pierce Types and Programming Languages

Source URL: www.cs.tau.ac.il

Types and Type Inference Mooly Sagiv Slides by Kathleen Fisher and John Mitchell Reading: “Concepts in Programming Languages”,

Source URL: www.cs.tau.ac.il

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington

Source URL: homes.cs.washington.edu

• Software engineering
• Computing
• Computer programming
• Type theory
• Data types
• Object-oriented programming
• Concurrent programming languages
• Type system
• Scala
• Intent
• Type safety
• Java

On the Revival of Dynamic Languages Oscar Nierstrasz, Alexandre Bergel, Marcus Denker, St´ephane Ducasse, Markus G¨ alli, and Roel Wuyts Software Composition Group, University of Bern www.iam.unibe.ch/∼scg

Source URL: rmod.inria.fr

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• Object-oriented programming
• Data types
• Type theory
• Programming paradigms
• Smalltalk
• Type system
• Objective-C
• R

Typestate and Session Types for Java Dimitris Kouzapas Department of Computing Science, University of Glasgow January 13, 2014

Source URL: groups.inf.ed.ac.uk

• Software engineering
• Computing
• Computer programming
• Object-oriented programming languages
• Java
• Cross-platform software
• Concurrent programming languages
• Entry point
• Scripting language
• D
• Generics in Java

Overview Problem Solving, Programming, and Calculation Basic concepts of functional programming: computation by calculation, values, expressions, types, declarations

Source URL: www.idt.mdh.se

• Software engineering
• Computer programming
• Functional languages
• Programming idioms
• Recursion
• Theoretical computer science
• Functional programming
• Monad
• Lisp
• F Sharp
• Equation solving
• Exponentiation

Introduction to Smalltalk - Chapter 9 - Sets, bags, and dictionaries  Ivan TomekChapter 9 - Sets, bags, and dictionaries Overview This chapter presents the remaining frequently used collections - sets, bags,

Source URL: sdmeta.gforge.inria.fr

• Software engineering
• Computer programming
• Computing
• Search algorithms
• Object-oriented programming languages
• Data types
• Hashing
• Error detection and correction
• Hash function
• Hash table
• Smalltalk
• Set

Presburger Formulas and Polyhedral Compilation v0.02 Sven Verdoolaege Polly Labs and KU Leuven January 15, 2016

Source URL: lirias.kuleuven.be

• Software engineering
• Computer programming
• Computing
• Data types
• Compiler optimizations
• Cross-platform software
• Procedural programming languages
• Iterator
• Object
• Polytope model
• Assignment
• Type system

02157 Functional Programming - Tagged values and Higher-order list functions

Source URL: www.imm.dtu.dk

• Software engineering
• Computer programming
• Programming language theory
• Data types
• Subroutines
• Functional programming
• Type theory
• Procedural programming languages
• Higher-order function
• Option type
• ALGOL 68
• Technical University of Denmark

How To Have Your Cake and Eat It, Too: Self-Applicable Online Partial Evaluation Michael Sperber Wilhelm-Schickard-Institut f
ur Informatik Universit
at T
ubingen Sand 13, DT
ubingen, Germany

Source URL: repository.readscheme.org

• Software engineering
• Computing
• Computer programming
• Subroutines
• Data types
• Type theory
• Object-oriented programming languages
• Functional languages
• Partial evaluation
• Scala
• Recursion
• Memoization