Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
functionality function » functionals function, functionaries function, functional functions
type functionality » trpv1 functionality, type functional, more functionality
parallel programs » parallel programming
function https » functions https, fiction https
programs type » programs types, programs t.e, programs time
functionality function » functionals function, functionaries function, functional functions
type functionality » trpv1 functionality, type functional, more functionality
parallel programs » parallel programming
function https » functions https, fiction https
programs type » programs types, programs t.e, programs time
1
Foilsithe 2010
Clár Ábhair:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2006
Clár Ábhair:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
Foilsithe 2015
Clár Ábhair:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
Foilsithe 2011
Ábhair:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
Foilsithe 2012
Ábhair:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
6
Foilsithe 2005
Clár Ábhair:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Foilsithe 2013
Clár Ábhair:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
Foilsithe 2007
Clár Ábhair:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Foilsithe 2006
Clár Ábhair:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
Foilsithe 2008
Clár Ábhair:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
11
Foilsithe 2013
Clár Ábhair:
“... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
Foilsithe 2010
Clár Ábhair:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
13
Foilsithe 2010
Clár Ábhair:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Foilsithe 2015
Clár Ábhair:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
Foilsithe 2008
Clár Ábhair:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
16
Foilsithe 2005
Clár Ábhair:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
17
Foilsithe 2013
Clár Ábhair:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
18
Foilsithe 2014
Clár Ábhair:
“...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
19
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Foilsithe 2015
Clár Ábhair:
“... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
20
Foilsithe 2005
Clár Ábhair:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar