Вы здесь

Главная

функциональный язык

Связанные издания:

Abstract Machines, Control, and Sequents
A Compacting Garbage Collector for Unidirectional Heaps
Adding Apples and Oranges
A Framework for Defining Object-Calculi
An Algebraic Characterization of Typability in ML with Subtyping
An Injective Language for Reversible Computation
An Introduction to Dependent Type Theory
A Polymorphic Type System for Bulk Synchronous Parallel ML
A Program Inverter for a Functional Language with Equality and Constructors
C - HASKELL, or Yet Another Interfacing Tool
Church and State: Taming Effects in Functional Languages
Common Subexpressions Are Uncommon in Lazy Functional Languages
Compiling Erlang to Scheme
Context Patterns, Part II
Continuation Semantics for Parallel Haskell Dialects
Crowing XQuery
Data Mining the Yeast Genome in a Lazy Functional Language
Declarative Programming and Knowledge Management: Revised Selected Papers/ Conference on Declarative Programming, DECLARE 2017 Unifying INAP, WELP, and WLP, Wü rzburg, Germany, September 2017
Declarative Programming and Knowledge Management: Revised Selected Papers/ Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 2013
Design and Correctness of Program Transformations Based on Control-Flow Analysis
DREAM: The DistRibuted Eden Abstract Machine
Exceptions, Continuations and Macro-expressiveness
From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View
Haskell-Coloured Petri Nets
HaskSkel: Algorithmic Skeletons in Haskell
Implementation and Application of Functional Languages: Revised Selected Papers/21st International Symposium, IFL 2009, South Orange,NJ,USA, September 2009
Implementation of Functional Languages: Proc./11th Intern. Workshop, IFL 99, Lochem, The Netherlands, September 1999
Implementation of Functional Languages: Proc./13th Intern. Workshop, IFL 2001, Stockholm, Sweden, September 2001
Implementation of Functional Languages: Proc./14th Intern. Workshop, IFL 2002, Madrid, Spain, September 2002
Implementation of Functional Languages: Proc./9th Intern. Workshop, IFL 97. St.Andrews, Scotland, UK, September 1997
Integrating Model Checking and Theorem Proving in a Reflective Functional Language
Interactive Functional Objects in Clean
Interactive Theorem Proving: Proc./4th International Conference, ITP 2013, Rennes, France, July 2013
Interactive Theorem Proving: Proc./5th Internatinal Conference, ITP 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014
Lazy Dynamic Input/Output in the Lazy Functional Language Clean
Naira: A Parallel Haskell Compiler
Optimising Recursive Functions Yielding Multiple Results in Tuples in a Lazy Functional Language
Parallel Juxtaposition for Bulk Synchronous Parallel ML
Persistent Haskell
Practical Aspects of Declarative Languages: Proc./15th International Symposium, PADL 2013, Rome, Italy, January 2013
Practical Aspects of Declarative Languages: Proc./16th International Symposium, PADL 2014, San Diego,CA,USA, January 2014
Practical Aspects of Declarative Languages: Proc./19th International Symposium, PADL 2017, Paris, France, January 2017
Practical Aspects of Declarative Languages: Proc./23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 2021
Predictable Space Behaviour in FSM-Hume
Programming in the Large: The Algebraic-Functional Language Opal 2 alfa
Programming Languages and Systems: Proc./24th European Symposium on Programming, ESOP 2015 Held as Part of the ETAPS 2015, London, UK, April 2015
Prototyping Application Models in Concurrent ML
Reconfigurable Computing: Architectures, Tools and Applications: Proc./7th International Symposium, ARC 2011, Belfast, UK, March 2011
Reflections in Opal - Meta Information in a Functional Programming Language
Reversible Computation: Proc./13th International Conference, RC 2021, Virtual Event, July 2021