1
Foilsithe 2010
Clár Ábhair: ... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
2
Foilsithe 2008
Clár Ábhair: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
3
Foilsithe 2008
Clár Ábhair: ... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
4
Foilsithe 2007
Clár Ábhair: ... Processor -- Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML -- Parallelization...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
5
Foilsithe 2006
Clár Ábhair: ... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar