Study
lib
Documents
Flashcards
Chrome extension
Login
Upload document
Create flashcards
×
Login
Flashcards
Collections
Documents
Last activity
My documents
Saved documents
Profile
Foreign Language
Math
Science
Social Science
Business
Engineering & Technology
Arts & Humanities
History
Miscellaneous
Standardized tests
Engineering & Technology
Computer Science
Functional Programming
Functional Programming Languages
Functional Decomposition
Composition and Compilation in Functional Programming Languages
Why Functional Programming Matters
Towards a Primitive Higher Order Calculus of Broadcasting Systems Karol Ostrovsk´y
University of California, Irvine Application for 2009 Larry Sautter Award
CPH ch 1
Convergence in Language Design: A Case of Lightning Striking March 14, 2006
Constructing Correct Circuits: Verification of
DSL Implementation in MetaOCaml, Template Haskell, and C++ Krzysztof Czarnecki , John O’Donnell
Other Control Flow ideas: Throw, Catch, Continuations and Call/CC Lecture 24
Introduction - Pro-Ed
Interactive and semiautomatic performance evaluation
Instrucciones de gcc y jeditm
Type-directed Syntax Transformations for ATS-style Programs with Proofs 1 Introduction
Variable-Arity Generic Interfaces
Ginger - A Simple Functional Language
From Structures and Functors to Modules and Units Scott Owens Matthew Flatt Abstract
functional prog. in scheme
13-04-24_Taku - Columbia University
Regular, Shape-polymorphic, Parallel Arrays in Haskell Gabriele Keller Manuel M. T. Chakravarty
Macros that Work Together 1
Macros that Work Together 1
Logic Programs with Intensional Functions Vladimir Lifschitz
«
prev
1 ...
14
15
16
17
18
19
»
next
Suggest us how to improve StudyLib
(For complaints, use
another form
)
Your e-mail
Input it if you want to receive answer
Rate us
1
2
3
4
5
Cancel
Send