Semantic Subtyping for Objects and Classes Ornela Dardha1 Daniele Gorla2 Daniele Varacca3

Source URL: www.dcs.gla.ac.uk

• Data types
• Object-oriented programming
• Programming language theory
• Subtype polymorphism
• Type system
• Polymorphism
• E
• Inheritance
• Lambda calculus
• Software engineering
• Type theory
• Computing

BRICS Basic Research in Computer Science BRICS RSL. Santocanale: A Calculus of Circular Proofs and its Categorical Semantics A Calculus of Circular Proofs and

Source URL: www.brics.dk

• Universal property
• Lambda calculus
• Functor
• Combinatory logic
• Initial algebra
• Function
• Equivalence of categories
• Sheaf
• Coproduct
• Mathematics
• Category theory
• Abstract algebra

ACM ICPC 2014–2015, NEERC, Northern Subregional Contest St Petersburg, November 8, 2014 Problem A. Alarm Clock Input file: Output file:

Source URL: neerc.ifmo.ru

• Formal languages
• Procedural programming languages
• Cross-platform software
• Lambda calculus
• Automata theory
• Regular expression
• Function
• Combinatory logic
• C
• Mathematics
• Software engineering
• Computing

Seventh International Conference on Typed Lambda Calculi and Applications (TLCA’05) Nara (Japan) 21 to 23 April 2005 http://www.kurims.kyoto-u.ac.jp/rdp05/tlca/ (Colocated with RTA as RDP ’05)

Source URL: www.kurims.kyoto-u.ac.jp

Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R

Source URL: ftp.cixug.es

• Weibull distribution
• Normality test
• Kurtosis
• Skewness
• Normal distribution
• Plot
• Gamma distribution
• Exploratory data analysis
• Tukey lambda distribution
• Statistics
• Survival analysis
• Q-Q plot

Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem J. Nathan Foster Michael B. Greenwald

Source URL: www.cis.upenn.edu

• Computer science
• Principles of Programming Languages
• Computing
• Lambda calculus
• Logic in computer science
• Combinatory logic

Typed Normal Form Bisimulation Soren B. Lassen1 and Paul Blain Levy2 1 2

Source URL: www.cs.bham.ac.uk

• Logic in computer science
• Lambda calculus
• Process calculi
• Π-calculus
• Bisimulation
• Combinatory logic
• Fixed-point combinator
• Sheaf
• Theoretical computer science
• Applied mathematics
• Mathematics

DNA supercoiling enhances cooperativity and efficiency of an epigenetic switch Kamilla Norregaarda, Magnus Anderssona,b, Kim Sneppena, Peter Eigil Nielsenc, Stanley Brownd, and Lene B. Oddershedea,1 a The Niels Bohr Ins

Source URL: www.nbi.dk

• Bacteriophages
• Helices
• Gene delivery
• DNA supercoil
• Plasmid
• Lambda phage
• CI protein
• Nucleoid
• DNA
• Biology
• Microbiology
• Molecular biology

A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University

Source URL: schemeworkshop.org

• Lambda calculus
• Recursion
• Subroutines
• Computability theory
• Theoretical computer science
• Higher-order abstract syntax
• Fixed-point combinator
• Scheme
• Continuation-passing style
• Software engineering
• Computing
• Computer programming

Call*for*Papers*!*LCC*Panel*!*San*Francisco*!*2016*! Sexuality*in*Ancient*Art! Organizers:((Bryan(Burns(()(&(Sarah(LevinURichardson(()( Sponsored(by(the(Lambda(Classical(Caucus(

Source URL: www.lambdacc.org