Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Engineering & Technology
  2. Computer Science
  3. Functional Programming
Talk at FHPC 2014 - Microsoft Research
Talk at FHPC 2014 - Microsoft Research
Table of contents
Table of contents
Synthesizing Object-Oriented and Functional Design to Promote Re-Use
Synthesizing Object-Oriented and Functional Design to Promote Re-Use
syntax analysis
syntax analysis
The Introduction to Object
The Introduction to Object
The HPCGAP Project: Delivering Usable Scalable Parallelism to Computational Pure Mathematicians
The HPCGAP Project: Delivering Usable Scalable Parallelism to Computational Pure Mathematicians
University of California, Irvine Application for 2009 Larry Sautter Award
University of California, Irvine Application for 2009 Larry Sautter Award
UniversalCompModel.ppt
UniversalCompModel.ppt
Python for Data Science: Overview & Data Structures
Python for Data Science: Overview & Data Structures
Unbounded Spigot Algorithms for the Digits of Pi
Unbounded Spigot Algorithms for the Digits of Pi
UML Diagram
UML Diagram
The Racket Manifesto: Language Design Principles
The Racket Manifesto: Language Design Principles
types
types
Type-directed Syntax Transformations for ATS-style Programs with Proofs 1 Introduction
Type-directed Syntax Transformations for ATS-style Programs with Proofs 1 Introduction
Type-Directed Elaboration of Quasiquotations in Idris
Type-Directed Elaboration of Quasiquotations in Idris
Type-and-Example-Directed Program Synthesis
Type-and-Example-Directed Program Synthesis
Type Fusion - Department of Computer Science
Type Fusion - Department of Computer Science
Type Families and Elaboration
Type Families and Elaboration
Type classes: an exploration of the design space
Type classes: an exploration of the design space
Type Classes as Objects and Implicits
Type Classes as Objects and Implicits
Tu rin g ’s
Tu rin g ’s
TS-DTS-216-12
TS-DTS-216-12
Towards a Primitive Higher Order Calculus of Broadcasting Systems Karol Ostrovsk´y
Towards a Primitive Higher Order Calculus of Broadcasting Systems Karol Ostrovsk´y
Towards a Meaning of LIFE
Towards a Meaning of LIFE