607 research outputs found
Embedding logical frameworks in scala
El Framework Lógico de Edimburgo ha demostrado ser una poderosa herramienta en el
estudio formal de sistemas deductivos, como por ejemplo lenguajes de programación.
Sin embargo su principal implementación, el sistema Twelf, carece de expresividad, obligando
al programador a escribir código repetitivo. Este proyecto presenta una manera
alternativa de utilizar Twelf: a través de un EDSL (Lenguaje Embebido de Dominio Específico)
en Scala que permite representar firmas del Framework Lógico, y apoyándonos
en Twelf como backend para la verificación, abrimos la puerta a diversas posibilidades en
términos de metaprogramación.
El código fuente, así como instrucciones para instalar y configurar, está accesible en
https://github.com/akathorn/elfcala.
---ABSTRACT---The Edinburgh Logical Framework has proven to be to be a powerful tool in the formal
study of deductive systems, such as programming languages. However, its main implementation,
the Twelf system, lacks expressiveness, requiring the programmer to write
repetitive code. This project presents an alternative way of using Twelf: by providing a
Scala EDSL (Embedded Domain Specific Language) that can encode Logical Framework
signatures and relying on Twelf as a backend for the verification, we open the door to
different possibilities in terms of metaprogramming.
The source code, along with instructions to install and configure, is accessible at
https://github.com/akathorn/elfcal
El debido proceso disciplinario laboral
30 p.La facultad disciplinaria del empleador encuentra su fundamento jurídico en el elemento de subordinación, propio de las relaciones laborales, y en el correspondiente deber de obediencia impuesto al trabajador en el desarrollo de su labor, teniendo como finalidad el mantenimiento del orden en la empresa y la disciplina en el trabajo. En el ámbito de las relaciones laborales, el ordenamiento jurídico colombiano impone determinadas limitaciones a la forma como el empleador puede dar por terminado, con justa causa, el contrato de trabajo, sometiendo dicha facultad no solo a las causales que puede este alegar, sino además a la forma en que se debe llevar a cabo el despido. A su vez, de conformidad con lo establecido en el artículo 115 del Código Sustantivo del Trabajo, no produce efecto alguno la sanción disciplinaria que imponga un empleador sin previamente haber dado la oportunidad de ser oídos, tanto al trabajador inculpado, como a dos representantes del sindicato al que este pertenezca. Al respecto, la redacción de esta norma ha generado múltiples interpretaciones sobre el alcance de la misma e incluso sobre su constitucionalidad, discusión que se ha traducido en un tema de debate recurrente en los estrados judiciales, especialmente cuando la Litis versa sobre la legalidad del despido o de la imposición de una sanción.Introducción
Antecedentes
Principios que rigen el debido proceso disciplinario laboral
Legalidad
Tipicidad
El derecho a la defensa
Derecho de contradicción y de controversia de la prueba
Los principios de la doble instancia y la imparcialidad
La presunción de inocencia
El principio de non bis in ídem
Sanciones aplicables
Procedimiento para aplicar sanciones disciplinarias
Procedimiento para terminar un contrato de trabajo, con justa causa, por parte del empleador
Conclusión
Bibliografí
"Las Glorias": derivación de los Hipocaustos romanos
En número dedicado a: La provincia de Palenci
Telares manuales en la provincia de Badajoz
En número dedicado a: La provincia de Badajo
Panorama textil desde el siglo XVIII a la actualidad en la Provincia de Albacete
En número dedicado a: La provincia de Albacet
Estudio etnográfico de los telares en la comarca del Sayago
En número dedicado a: La provincia de Zamor
Aportación al estudio etnográfico de los telares
En número dedicado a: La provincia de Cácere
- …